at.logic.gapt.proofs.lkNew
Convenience constructor for ∀:l that, a main formula and a term, will try to construct an inference with these formulas.