---

ses-is-fresh(f;A;pas) ==
  isl(TERMOF{decidable-ses-fresh-sequence:o, 1:l} f A pas)

---

Definitions :  isl: isl(x),  apply: f a,  decidable-ses-fresh-sequence
FDL editor aliases :  ses-is-fresh

---

ses-is-fresh(f;A;pas)  ==    isl(TERMOF\{decidable-ses-fresh-sequence:o,  1:l\}  f  A  pas)


Date html generated: 2010_08_28-AM-03_11_33
Last ObjectModification: 2010_03_16-PM-02_35_50

Home Index