Nuprl Definition : es-E
E == {e:es."E"| ↑(es."dom" e)}
Definitions occuring in Statement :
assert: ↑b,
set: {x:A| B[x]} ,
apply: f a,
token: "$token",
record-select: r.x
FDL editor aliases :
es-E
es-E
E == \{e:es."E"| \muparrow{}(es."dom" e)\}
Date html generated:
2015_07_17-AM-08_34_00
Last ObjectModification:
2013_03_22-PM-08_18_49
Home
Index