de.uka.ilkd.key.proof.proofevent
Interfaces
NodeChange
Classes
NodeChangeAddFormula
NodeChangeARFormula
NodeChangeJournal
NodeChangeRemoveFormula
NodeChangesHolder
NodeRedundantAddChange
NodeReplacement
RuleAppInfo