Nuprl Definition : actof

act(k) ==  outr(k)


Definitions occuring in Statement :  outr: outr(x)
FDL editor aliases :  act
Latex:
act(k)  ==    outr(k)


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

Theory : event-ordering


Home Index