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: 2015_07_23-AM-11_16_13 Last ObjectModification: 2012_02_25-PM-03_44_30 Home Index