(7steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
absval
eq
1
1.
x:
2.
y:
|x| = |y|
x =
y
By:
Unfold `absval` 0
Generated subgoal:
1
if 0
x
x else -x fi = if 0
y
y else -y fi
x =
y
About:
(7steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
if 0
x
x else -x fi = if 0y y else -y fi 
x = 
y
|x| = |y| x = y if 0x x else -x fi = if 0y y else -y fi x = y
