Definitions
bool
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Some definitions of interest.
assert
Def
b
== if
b
True else False fi
Thm*
b
:
.
b
Prop
bnot
Def
b
== if
b
false
else true
fi
Thm*
b
:
.
b
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
bool
1
Sections
StandardLIB
Doc
b == if b
True else False fi
b:
. b 
Prop
b == if b false else true fib:. b b == if b True else False fib:. b Propb == if b false else true fib:. b 
