at.logic.gapt.proofs.expansionTrees
Represents a weakening in an expansion tree, i.e. a subformula which is not needed for making the deep formula a tautology.
the (weak) formula at this node
Represents a weakening in an expansion tree, i.e. a subformula which is not needed for making the deep formula a tautology.
the (weak) formula at this node