Nuprl Definition : vnil

vnil() ==  []


Definitions occuring in Statement :  nil: []
Definitions occuring in definition :  nil: []
FDL editor aliases :  vnil
Latex:
vnil()  ==    []


Date html generated: 2016_05_14-PM-03_31_21
Last ObjectModification: 2015_09_22-PM-06_00_40

Theory : decidable!equality


Home Index