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

At: eq lbl iff 1
1. l1: Label
2. l2: Label
3. l1 = l2

l1 = l2
By: FwdThru Thm* l1,l2:Label. l1 = l2 l1 = l2 [-1]
Generated subgoals:

None

About:
assertequal

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