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

At: assert eq relname 2
1. y: Label
2. x: SimpleType
3. inr(y) = inl(x) 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