Nuprl Definition : normal-da
Normal(da) ==  True
Definitions occuring in Statement : 
true: True
FDL editor aliases : 
normal-da
Latex:
Normal(da)  ==    True
Date html generated:
2016_05_16-AM-11_41_05
Last ObjectModification:
2012_02_25-AM-11_15_41
Theory : event-ordering
Home
Index