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
Latex:
mk-eo(E;dom;l;R;locless;pred;rank) == mk-eo-record(E;dom;l;R;locless;pred;rank)
Date html generated:
2016_05_16-AM-09_13_43
Last ObjectModification:
2014_02_20-PM-09_53_04
Theory : new!event-ordering
Home
Index