de.uka.ilkd.key.rule.join
Classes
CloseAfterJoin
CloseAfterJoinRuleBuiltInRuleApp
JoinProcedure
JoinRule
JoinRuleBuiltInRuleApp