Definitions bool 1 Doc

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