at.logic.gapt.proofs.gaptic
Class that describes how a tactic should be applied: to a label, to the unique fitting formula, or to any fitting formula.
Class that describes how a tactic should be applied: to a label, to the unique fitting formula, or to any fitting formula.