---

pi-prefix-names(p) ==  G(p) where   G(x<y>) = [x; y]  G(x?(y)) = [x; y]

---

Definitions :  pi_prefix_ind: pi_prefix_ind,  cons: [car / cdr],  nil: []
FDL editor aliases :  pi-prefix-names

---

pi-prefix-names(p)  ==    G(p)  where      G(x<y>)  =  [x;  y]    G(x?(y))  =  [x;  y]


Date html generated: 2010_08_27-PM-08_41_28
Last ObjectModification: 2010_02_16-PM-01_20_43

Home Index