de.uka.ilkd.key.proof.io.intermediate

Classes

• AppIntermediate
• AppNodeIntermediate
• BranchNodeIntermediate
• BuiltInAppIntermediate
• MergeAppIntermediate
• MergePartnerAppIntermediate
• NodeIntermediate
• TacletAppIntermediate