Nuprl Definition : run-intransit

run-intransit(r;t) == snd(run-system(r;t))

Definitions occuring in Statement : run-system: run-system(r;t), pi2: snd(t)
FDL editor aliases : run-intransit

Latex:
run-intransit(r;t) == snd(run-system(r;t)) Date html generated: 2015_07_23-AM-11_10_18 Last ObjectModification: 2012_02_25-PM-03_40_38 Home Index