(4steps) PrintForm Definitions Lemmas mb label Sections GenAutomata Doc

At: eq lbl iff

l1,l2:Label. l1 = l2 l1 = l2
By: Auto
Generated subgoals:

11. l1: Label
2. l2: Label
3. l1 = l2
l1 = l2
21. l1: Label
2. l2: Label
3. l1 = l2
l1 = l2

About:
assertequalall

(4steps) PrintForm Definitions Lemmas mb label Sections GenAutomata Doc