Nuprl Definition : es-info
info(e) == es."info" e
Definitions occuring in Statement :
apply: f a,
token: "$token",
record-select: r.x
FDL editor aliases :
es-info
es-info
Latex:
info(e) == es."info" e
Date html generated:
2016_05_16-PM-01_00_07
Last ObjectModification:
2012_02_25-PM-01_07_37
Theory : event-ordering
Home
Index