Definitions
bool
1
Doc
At:
assert
of
eq
int
1
1
1.
x:
2.
y:
3.
if x=y
true
; false
fi
x = y
By:
Decide (x = y)
Generated subgoals:
1
4.
x = y
x = y
2
4.
x = y
x = y
true
;
false fi
x = y x = y
x = y x = y