Definitions
bool
1
Doc
At:
ifthenelse
wf
b:
, A:Type, p,q:A. if b
p else q fi
A
By:
UnivCD
Generated subgoal:
1
1.
b:
2.
A:
Type
3.
p:
A
4.
q:
A
if b
p else q fi
A