Nuprl Definition : es-base-pred
pred1(e) == es."pred" e
Definitions occuring in Statement :
apply: f a,
token: "$token",
record-select: r.x
FDL editor aliases :
es-base-pred
Latex:
pred1(e) == es."pred" e
Date html generated:
2016_05_16-AM-09_14_11
Last ObjectModification:
2013_03_23-PM-04_36_03
Theory : new!event-ordering
Home
Index