pi-simple-subst(t;x;P) == pi-simple-subst-aux(t;x;P;[t / pi-names(P)])
Definitions :
pi-simple-subst-aux: Error :pi-simple-subst-aux,
cons: [car / cdr],
pi-names: pi-names(p)
FDL editor aliases :
pi-simple-subst
pi-simple-subst(t;x;P) == pi-simple-subst-aux(t;x;P;[t / pi-names(P)])
Date html generated:
2010_08_27-PM-08_42_02
Last ObjectModification:
2010_02_18-AM-11_30_44
Home
Index