Definitions
bool
1
Doc
At:
assert
of
eq
int
rw
x,y:
. {x=
y
x = y}
By:
Unfold `guard` 0
THEN
Lemma
Thm*
x,y:
. x=
y
x = y
Generated subgoals:
None
x,y:
. {x=
y 
x = y}x,y:. x=y x = y