at.logic.gapt.proofs.lkOld
An implementation of definition elmination which guesses the definitions. Alternatively, you can use at.logic.gapt.algorithms.rewriting.DefinitionElimination instead, which gets the definitions explicitly passed.
An implementation of definition elmination which guesses the definitions. Alternatively, you can use at.logic.gapt.algorithms.rewriting.DefinitionElimination instead, which gets the definitions explicitly passed.