Nuprl Definition : tagof

tag(k) ==  snd(outl(k))


Definitions occuring in Statement :  outl: outl(x),  pi2: snd(t)
FDL editor aliases :  tagof
Latex:
tag(k)  ==    snd(outl(k))


Date html generated: 2016_05_16-AM-10_54_51
Last ObjectModification: 2012_02_25-AM-10_52_46

Theory : event-ordering


Home Index