Nuprl Definition : cs-considered-val

cs-considered-val(x) ==  outl(outr(x))


Definitions occuring in Statement :  outr: outr(x),  outl: outl(x)
FDL editor aliases :  cs-considered-val
Latex:
cs-considered-val(x)  ==    outl(outr(x))


Date html generated: 2016_05_16-AM-11_50_37
Last ObjectModification: 2012_02_25-AM-11_41_00

Theory : event-ordering


Home Index