Nuprl Definition : varname

varname(x;i) ==  inr <i, x> 


Definitions occuring in Statement :  pair: <a, b>,  inr: inr x 
FDL editor aliases :  varname
Latex:
varname(x;i)  ==    inr  <i,  x> 


Date html generated: 2016_05_16-AM-11_01_14
Last ObjectModification: 2012_02_25-AM-10_53_55

Theory : event-ordering


Home Index