Definitions
bool
1
Doc
At:
ite
rw
true
T:Type, b:
, x,y:T. b
if b
x else y fi = x
By:
RepD
THEN
SplitOnConclITE
Generated subgoals:
None
T:Type, b:
, x,y:T. b 
if b
x else y fi = x