at.logic.gapt.proofs.expansionTrees
Returns the expansion sequent with certain expansions trees removed
Returns the expansion sequent with certain expansions trees removed