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