PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
imax
lb
a,b,c:
. imax(a;b)
c
a
c & b
c
By:
UnivCD
THEN
Unfolds [`imax`;`guard`] 0
THEN
SplitOnConclITE
Generated subgoals:
None
About:
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
a,b,c:
. imax(a;b)
c 
ac & bc
