mk-eo(E;dom;l;R;a;b;c;d;e;f) ==
x.x["E" := E]["dom" := dom]["loc" := l]["<" := R]["deq" := a]["wf" := b]
["dco" := c]["trans" := d]["fin" := e]["total" := f]
Definitions occuring in Statement :
lambda: x.A[x],
token: "$token",
record-update: r[x := v]
Definitions :
record-update: r[x := v],
lambda: x.A[x],
token: "$token"
FDL editor aliases :
mk-eo
mk-eo(E;dom;l;R;a;b;c;d;e;f) ==
\mlambda{}x.x["E" := E]["dom" := dom]["loc" := l]["<" := R]["deq" := a]["wf" := b]["dco" := c]
["trans" := d]["fin" := e]["total" := f]
Date html generated:
2011_08_16-AM-10_19_45
Last ObjectModification:
2010_11_22-PM-02_20_43
Home
Index