Nuprl Definition : Id

Id ==  Atom2


Definitions occuring in Statement :  atom: Atom$n
Definitions occuring in definition :  atom: Atom$n
FDL editor aliases :  Id
Latex:
Id  ==    Atom2


Date html generated: 2016_05_14-PM-03_36_32
Last ObjectModification: 2015_09_22-PM-06_01_29

Theory : decidable!equality


Home Index