(6steps) PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: assert eq relname 3
1. x: SimpleType
2. y: Label
3. inl(x) = inr(y) SimpleType+Label

False
By:
ApFunToHypEquands `z' Case(z) Case eq(a) = > 0 Default = > 1 -1
THEN
Reduce -1
THEN
Analyze -1
THEN
Reduce 0
Generated subgoals:

None

About:
intnatural_numberunioninlinrequalfalse

(6steps) PrintForm Definitions mb automata 2 Sections GenAutomata Doc