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

At: lbl sq 1
1. x: Label
2. y: Label
3. x = y

x ~ y
By:
Analyze 2
THEN
Analyze 1
Generated subgoal:

11. x: Pattern
2. ground_ptn(x)
3. y: Pattern
4. ground_ptn(y)
5. x = y Label
x ~ y

About:
equalsqequal

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