At:
assert eq relname
1
1.
x1: SimpleType
2.
x: SimpleType
3.
inl(x1) = inl(x) 
SimpleType+Label
x1 = x
By:
ApFunToHypEquands `z' Case(z) Case eq(a) = > a Default = > x SimpleType -1
THEN
Reduce -1
THEN
Analyze -1
THEN
Reduce 0
Generated subgoals:
None
About:
