at.logic.gapt.proofs.lkOld
Extracts a list of suproofs which end in a cut rule.
an arbitrary LK proof
the list of the subproofs
Extracts a list of suproofs which end in a cut rule.