(2steps total) PrintForm Definitions bool 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: assert of band 1
1. p : 
2. q : 
  (pq)  p & q
By: OnHyps [2;1] BoolInd
THEN
Rewrite
(ORTHENC (ORTHENC (UnfoldC `band`) (HigherC ifthenelse_evalC))
((HigherC assert_evalC))
0

Generated subgoals:

None

About:
boolassertand
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(2steps total) PrintForm Definitions bool 1 Sections StandardLIB Doc