Definitions bool 1 Doc

At: eqff to assert 2 1
1. true

true = false
By: RWH bnot_evalC 1
Generated subgoal:

11. false
true = false