Definitions bool 1 Doc

At: bool cases 1
1. b:

b = true b = false
By: BoolInd 1
Generated subgoals:

1 true = true true = false
2 false = true false = false