Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
b:
exp.
c1,c2:
. IF b THEN c1 ELSE c2
Applied Tactic:
Unfolds ``if com`` 0 THEN UnivCD THENM MemTypeCD THEN Auto
Generated subgoals:
None
b:
exp. c1,c2:
. IF b THEN c1 ELSE c2 
b:exp. c1,c2:. IF b THEN c1 ELSE c2