Nuprl Definition : run-event-msg

run-event-msg(r;e) == snd(run-info(r;e))

Definitions occuring in Statement : run-info: run-info(r;e), pi2: snd(t)
FDL editor aliases : run-event-msg

Latex:
run-event-msg(r;e) == snd(run-info(r;e)) Date html generated: 2015_07_23-AM-11_10_36 Last ObjectModification: 2012_02_25-PM-03_41_00 Home Index