Definitions
bool
1
Doc
At:
assert
of
eq
int
x,y:
. x=
y
x = y
By:
GenUnivCD
Generated subgoals:
1
1.
x:
2.
y:
3.
x=
y
x = y
2
1.
x:
2.
y:
3.
x = y
x=
y