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: 2016_05_17-AM-10_41_32
Last ObjectModification: 2012_02_25-PM-03_40_38

Theory : process-model


Home Index