Nuprl Definition : pe-loc

pe-loc(p) ==  loc(pe-e(p))


Definitions occuring in Statement :  pe-e: pe-e(p),  pe-es: pe-es(e),  es-loc: loc(e)
FDL editor aliases :  pe-loc pe-loc
Latex:
pe-loc(p)  ==    loc(pe-e(p))


Date html generated: 2016_05_16-AM-09_52_10
Last ObjectModification: 2013_03_25-PM-01_51_14

Theory : new!event-ordering


Home Index