Nuprl Definition : cs-withdrawn
WITHDRAWN == inr inr tt
Definitions occuring in Statement :
btrue: tt,
inr: inr x
FDL editor aliases :
cs-withdrawn
WITHDRAWN == inr inr tt
Date html generated:
2015_07_17-AM-11_22_25
Last ObjectModification:
2012_02_25-AM-11_40_14
Home
Index