Nuprl Definition : archive-event
Archive(v) == inr (inl v)
Definitions occuring in Statement :
inr: inr x ,
inl: inl x
FDL editor aliases :
archive-event
Archive(v) == inr (inl v)
Date html generated:
2015_07_17-AM-11_43_57
Last ObjectModification:
2012_02_25-AM-11_47_12
Home
Index