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

At: assert eq label 1
1. l1: Label
2. l2: Label
3. l1 = l2

l1 = l2
By: (FwdThru Thm* l1,l2:Pattern. l1 = l2 l1 = l2 [-1]) THENA ((Analyze 1) THEN (Analyze 3))
Generated subgoal:

14. l1 = l2 Pattern
l1 = l2

About:
assertequal

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