PrintForm
Definitions
bool
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
bnot
thru
bor
p
,
q
:
.
(
p
q
) = (
p
q
)
By:
UnivCD THEN BoolEval
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
bool
1
Sections
StandardLIB
Doc
p,q:
. 
(p 
q) = (p
q)
