Definitions
bool
1
Doc
At:
assert
of
eq
atom
2
1.
x:
Atom
2.
y:
Atom
3.
x = y
if x=y
Atom
true
; false
fi
By:
RWH (ReduceThenC Trivial) 0
Generated subgoal:
1
true
if x=y
Atom
true
; false fi true