PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: dec lbl wf

t:dec(). t.lbl Label
By: YRecModulePiTac 2 `dec` [`dec_lbl`;`dec_typ`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc