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