PrintForm Definitions mb automata 3 Sections GenAutomata Doc

At: pre kind wf

t:pre(). t.kind Label
By: YRecModulePiTac 3 `pre` [`pre_kind`;`pre_val`;`pre_rel`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 3 Sections GenAutomata Doc