at.logic.gapt.proofs.lkOld
Extracts all auxiliary formulas in a proof.
an arbitrary LK proof
a set of auxiliary formula occurrences
Extracts all auxiliary formulas in a proof.