Nuprl Definition : stdEO

stdEO(n2m;l2m;env;S) ==  runEO(n2m;l2m;env;S)


Definitions occuring in Statement :  runEO: runEO(n2m;l2m;env;S)
FDL editor aliases :  stdEO
Latex:
stdEO(n2m;l2m;env;S)  ==    runEO(n2m;l2m;env;S)


Date html generated: 2016_05_17-AM-10_52_23
Last ObjectModification: 2012_02_25-PM-03_44_30

Theory : process-model


Home Index