Nuprl Definition : assert
↑b == if b then True else False fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
false: False,
true: True
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
true: True,
false: False
FDL editor aliases :
assert
Latex:
\muparrow{}b == if b then True else False fi
Date html generated:
2016_05_13-PM-03_20_18
Last ObjectModification:
2016_01_04-AM-10_27_21
Theory : union
Home
Index