Nuprl Definition : cs-committed-val

cs-committed-val(x) ==  outl(x)


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


Date html generated: 2016_05_16-AM-11_49_49
Last ObjectModification: 2012_02_25-AM-11_40_43

Theory : event-ordering


Home Index