lbl:Label, hyp,concl:Fmla. mk_qimp(lbl, hyp, concl) 
qimp{i:l}()| Who Cites mk qimp? | |
| mk_qimp | Def mk_qimp(lbl, hyp, concl) == < lbl,hyp,concl > |
| Thm* lbl:Label, hyp,concl:Fmla. mk_qimp(lbl, hyp, concl) qimp{i:l}() |
| Syntax: | mk_qimp(lbl, hyp, concl) | has structure: | mk_qimp(lbl; hyp; concl) |
About:
 |  |  |  |