Nuprl Definition : name-deq
NameDeq == list-deq(AtomDeq)
Definitions occuring in Statement :
list-deq: list-deq(eq),
atom-deq: AtomDeq
Definitions occuring in definition :
list-deq: list-deq(eq),
atom-deq: AtomDeq
FDL editor aliases :
name-deq
Latex:
NameDeq == list-deq(AtomDeq)
Date html generated:
2016_05_14-PM-03_34_02
Last ObjectModification:
2015_09_22-PM-06_01_01
Theory : decidable!equality
Home
Index