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

At: lbl pair wf2 1
1. x: Label
2. y: Label

lbl_pr( < x, y > ) Label
By: Analyze
Generated subgoals:

1 lbl_pr( < x, y > ) Pattern
2 ground_ptn(lbl_pr( < x, y > ))

About:
assertmember

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