ses-is-legal(prvt; pas) ==
isl(TERMOF{decidable__ses-legal-sequence:o, 1:l} prvt pas)
Definitions :
isl: isl(x),
apply: f a,
decidable__ses-legal-sequence
ses-is-legal(prvt; pas) == isl(TERMOF\{decidable\_\_ses-legal-sequence:o, 1:l\} prvt pas)
Date html generated:
2010_08_28-AM-02_46_45
Last ObjectModification:
2010_02_23-AM-12_15_23
Home
Index