Nuprl Definition : ses-is-legal
ses-is-legal(prvt; pas) == isl(TERMOF{decidable__ses-legal-sequence:o, 1:l} prvt pas)
Definitions occuring in Statement :
isl: isl(x)
,
apply: f a
Latex:
ses-is-legal(prvt; pas) == isl(TERMOF\{decidable\_\_ses-legal-sequence:o, 1:l\} prvt pas)
Date html generated:
2015_07_23-PM-00_14_15
Last ObjectModification:
2012_08_30-PM-04_30_29
Home
Index