contains classes for implementing rules. For now, there are only taclet rules, represented by {@link de.uka.ilkd.key.rule.Taclet}. The package includes the representation of applications of taclets ({@link de.uka.ilkd.key.rule.TacletApp}) and the builders of taclets ({@link de.uka.ilkd.key.rule.TacletBuilder}). Last modified: Tue Nov 26 08:54:55 MET 2002