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
pe-loc(p) == loc(pe-e(p))
Date html generated:
2015_07_17-AM-08_51_50
Last ObjectModification:
2013_03_25-PM-01_51_14
Home
Index