(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
minus
imax
1
1.
a:
2.
b:
-if a
b
b else a fi = if -a
-b
-a else -b fi
By:
SplitOnConclITEs
Generated subgoals:
None
About:
(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
-if a
b
b else a fi = if -a-b -a else -b fi
