Who Cites mk imp?
mk_imp	Def mk_imp(hyp, concl) == < hyp,concl >
	Thm* hyp,concl:Fmla. mk_imp(hyp, concl) imp{i:l}()

Syntax:

mk_imp(hyp, concl)

has structure:

mk_imp(hyp; concl)

About: