Definitions
bool
1
Doc
At:
btrue
neq
bfalse
1
1.
true
= false
False
By:
ApFunToHypEquands `x' if x
1 else 0 fi
1
Generated subgoal:
1
2.
if true
1 else 0 fi = if false
1 else 0 fi
False
1 else 0 fi = if false 1 else 0 fi
False