Nuprl Definition : es-loc

loc(e) ==  es."loc" e


Definitions occuring in Statement :  apply: f a,  token: "$token",  record-select: r.x
FDL editor aliases :  es-loc es-loc
Latex:
loc(e)  ==    es."loc"  e


Date html generated: 2016_05_16-AM-09_14_07
Last ObjectModification: 2013_03_22-PM-09_01_39

Theory : new!event-ordering


Home Index