PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: qimp hyp wf

t:qimp{i:l}(). t.hyp Fmla
By: YRecModulePiTac 3 `qimp` [`qimp_lbl`;`qimp_hyp`;`qimp_concl`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb automata 2 Sections GenAutomata Doc