de.uka.ilkd.key.proof.io.intermediate
Classes
AppIntermediate
AppNodeIntermediate
BranchNodeIntermediate
BuiltInAppIntermediate
JoinAppIntermediate
JoinPartnerAppIntermediate
NodeIntermediate
TacletAppIntermediate