(5steps)
PrintForm
bool
2
jlc
Sections
Support(jlc)
Doc
At:
assert
iff
btrue
2
1
1.
false
= true
False
By:
ApFunToHypEquands `x' if x
0 else 1 fi
1
Generated subgoal:
1
2.
if false
0 else 1 fi = if true
0 else 1 fi
False
About:
(5steps)
PrintForm
bool
2
jlc
Sections
Support(jlc)
Doc
0 else 1 fi = if true 0 else 1 fi
False = true
False
0 else 1 fi 
1
0 else 1 fi = if true 0 else 1 fi False
