bool
1
Doc
Def
x=
y
Atom == if x=y
Atom
true
; false
fi
Thm*
neg_assert_of_eq_atom
Thm*
assert_of_eq_atom