Definitions bool 1 Doc

At: assert of eq atom

x,y:Atom. x=yAtom x = y
By:
Unfold `eq_atom` 0
THEN
GenUnivCD
Generated subgoals:

11. x: Atom
2. y: Atom
3. if x=yAtomtrue; false fi
x = y
21. x: Atom
2. y: Atom
3. x = y
if x=yAtomtrue; false fi