at.logic.gapt.proofs.lkOld
Extracts the cut-formulas from an LK proof.
an arbitrary LK proof
a list of Sequents :- CutFormula
Extracts the cut-formulas from an LK proof.