contains classes for the instantiation of schema variables of {@link de.uka.ilkd.key.rule.Taclet}s. Last modified: Tue Nov 26 08:54:55 MET 2002