Nuprl Definition : archive-event
Archive(v) == inr (inl v)
Definitions occuring in Statement :
inr: inr x ,
inl: inl x
FDL editor aliases :
archive-event
Latex:
Archive(v) == inr (inl v)
Date html generated:
2016_05_16-PM-00_27_38
Last ObjectModification:
2012_02_25-AM-11_47_12
Theory : event-ordering
Home
Index