Definitions bool 1 Doc

At: eq int eq false elim 1 1
1. i:
2. j:
3. (i=j) = false
4. i = j

ij
By: RWH (LemmaC Thm* i,j:. i = j (i=j) = true) 3
Generated subgoal:

13. true = false
4. i = j
ij