pi-add(eq;q;st) == list_accum(s,req.fst(req) : snd(req) 
s;st;q)
Definitions :
list_accum: list_accum(x,a.f[x; a];y;l),
fpf-join: f g,
fpf-single: x : v,
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
pi-add
pi-add(eq;q;st) == list\_accum(s,req.fst(req) : snd(req) \moplus{} s;st;q)
Date html generated:
2010_08_27-PM-08_46_23
Last ObjectModification:
2010_03_22-PM-04_30_56
Home
Index