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

At: assert eq label

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

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

About:
assertequalimpliesall

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