Nuprl Definition : thread-session

t.session ==  snd(t)


Definitions occuring in Statement :  pi2: snd(t)
FDL editor aliases :  thread-session thread-session
Latex:
t.session  ==    snd(t)


Date html generated: 2016_05_16-AM-10_22_54
Last ObjectModification: 2013_03_25-PM-01_56_38

Theory : new!event-ordering


Home Index