de.uka.ilkd.key.proof.delayedcut

Interfaces

• ApplicationCheck
• DelayedCutListener

Classes

• ApplicationCheck.NoNewSymbolsCheck
• DelayedCut
• DelayedCutProcessor
• NodeGoalPair