contains classes representing the meta constructs of {@link de.uka.ilkd.key.rule.Taclet}s. Last modified: Tue Nov 26 08:54:55 MET 2002