---

cut(X;f;s) ==  fst((TERMOF{es-cut-exists:o, 1:l, i:l} es X f s))

---

Definitions occuring in Statement :  pi1: fst(t),  apply: f a
Definitions :  pi1: fst(t),  apply: f a,  es-cut-exists
FDL editor aliases :  cut-of

---

cut(X;f;s)  ==    fst((TERMOF\{es-cut-exists:o,  1:l,  i:l\}  es  X  f  s))


Date html generated: 2011_08_16-PM-05_49_03
Last ObjectModification: 2010_11_26-PM-10_42_43

Home Index