at.logic.gapt.proofs.lkNew
Produces a console-readable string representation of the lowermost rule.
The rule to be printed.