Nuprl Definition : mk-eo

mk-eo(E;dom;l;R;locless;pred;rank) ==  mk-eo-record(E;dom;l;R;locless;pred;rank)


Definitions occuring in Statement :  mk-eo-record: mk-eo-record(E;dom;l;R;locless;pred;rank)
FDL editor aliases :  mk-eo
mk-eo(E;dom;l;R;locless;pred;rank)  ==    mk-eo-record(E;dom;l;R;locless;pred;rank)


Date html generated: 2015_07_17-AM-08_33_56
Last ObjectModification: 2014_02_20-PM-09_53_04

Home Index