mb
label
Sections
GenAutomata
Doc
Theorem
Name
Thm*
x,y:Label. lbl_pr( < x, y > )
Label
[lbl_pair_wf2]
cites
Thm*
x,y:Pattern. lbl_pr( < x, y > )
Pattern
[lbl_pair_wf]
mb
label
Sections
GenAutomata
Doc
x,y:Label. lbl_pr( < x, y > ) 
Labelx,y:Pattern. lbl_pr( < x, y > ) Patternx,y:Label. lbl_pr( < x, y > ) Labelx,y:Pattern. lbl_pr( < x, y > ) Pattern