Nuprl Definition : bool-to-dcdr
{f}b == TERMOF{bool-to-dcdr-aux:o, 1:l, i:l} f
Definitions occuring in Statement :
apply: f a
Definitions occuring in definition :
apply: f a
TermOfs occuring in Definition :
bool-to-dcdr-aux
FDL editor aliases :
bool-to-dcdr
Latex:
\{f\}\msubb{} == TERMOF\{bool-to-dcdr-aux:o, 1:l, i:l\} f
Date html generated:
2016_05_15-PM-03_27_58
Last ObjectModification:
2015_09_23-AM-07_43_29
Theory : general
Home
Index