Nuprl Definition : runEO

runEO(n2m;l2m;env;S) == EO(pRun(S;env;n2m;l2m))

Definitions occuring in Statement : run-eo: EO(r), pRun: pRun(S0;env;nat2msg;loc2msg)
FDL editor aliases : runEO

Latex:
runEO(n2m;l2m;env;S) == EO(pRun(S;env;n2m;l2m)) Date html generated: 2015_07_23-AM-11_16_05 Last ObjectModification: 2012_02_25-PM-03_44_18 Home Index