Nuprl Definition : once-class
(X once) == (X until X)
Definitions occuring in Statement :
until-class: (X until Y)
FDL editor aliases :
once-class
Latex:
(X once) == (X until X)
Date html generated:
2016_05_16-PM-11_20_40
Last ObjectModification:
2012_02_25-PM-01_59_57
Theory : event-ordering
Home
Index