(9steps) PrintForm Definitions Lemmas mb automata 1 Sections GenAutomata Doc

At: assert st eq 2
1. s1: SimpleType
2. s2: SimpleType
3. s1 = s2

st_eq(s1;s2)
By: HypSubst -1 0
Generated subgoal:

1 st_eq(s2;s2)

About:
assertequal

(9steps) PrintForm Definitions Lemmas mb automata 1 Sections GenAutomata Doc