Definitions bool 1 Doc

At: iff imp equal bool 1 2
1. True False
2. True False

true = false
By: Analyze 1
Generated subgoals:

None