de.uka.ilkd.key.proof.proofevent

Interfaces

• NodeChange

Classes

• NodeChangeAddFormula
• NodeChangeARFormula
• NodeChangeJournal
• NodeChangeRemoveFormula
• NodeChangesHolder
• NodeRedundantAddChange
• NodeReplacement
• RuleAppInfo