PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: imp concl wf

t:imp{i:l}(). t.concl Fmla
By: YRecModulePiTac 2 `imp` [`imp_hyp`;`imp_concl`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc