de.uka.ilkd.key.gui.mergerule
Classes
MergePartnerSelectionDialog
MergeProcedureCompletion
MergeRuleCompletion
MergeRuleMenuItem