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

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

lbl_pr( < x, y > ) Pattern
By: BackThru Thm* x,y:Pattern. lbl_pr( < x, y > ) Pattern
Generated subgoals:

None

About:
member

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