(5steps)
PrintForm
bool
2
jlc
Sections
Support(jlc)
Doc
At:
assert
iff
btrue
2
1
1
1.
false
= true
2.
if false
0 else 1 fi = if true
0 else 1 fi
False
By:
Rewrite (HigherC ifthenelse_evalC) 2
Generated subgoals:
None
About:
(5steps)
PrintForm
bool
2
jlc
Sections
Support(jlc)
Doc
= true
0 else 1 fi = if true 0 else 1 fi
False
