Nuprl Definition : locl
locl(a) ==  inr a 
Definitions occuring in Statement : 
inr: inr x 
FDL editor aliases : 
locl
Latex:
locl(a)  ==    inr  a 
Date html generated:
2016_05_16-AM-10_54_32
Last ObjectModification:
2012_02_25-AM-10_52_42
Theory : event-ordering
Home
Index