Nuprl Definition : islist
islist(t) == (eval_list(t))↓
Definitions occuring in Statement :
eval_list: eval_list(t),
has-value: (a)↓
Definitions occuring in definition :
has-value: (a)↓,
eval_list: eval_list(t)
FDL editor aliases :
islist
Latex:
islist(t) == (eval\_list(t))\mdownarrow{}
Date html generated:
2016_05_15-PM-10_07_14
Last ObjectModification:
2015_09_23-AM-08_22_20
Theory : eval!all
Home
Index