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

At: lbl pair wf2 1 2 1 1
1. x: Pattern
2. ground_ptn(x)
3. y: Pattern
4. ground_ptn(y)

ground_ptn(x)ground_ptn(y)
By: Unhide
Generated subgoal:

12. ground_ptn(x)
3. y: Pattern
4. ground_ptn(y)
ground_ptn(x)ground_ptn(y)

About:
assert

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