Mon, 23 Mar 2009 19:01:17 +0100 | haftmann | corrected variable renaming | changeset | files |
Mon, 23 Mar 2009 19:01:16 +0100 | haftmann | tuned error messages | changeset | files |
Mon, 23 Mar 2009 19:01:16 +0100 | haftmann | moved generic arith_tac (formerly silent_arith_tac), verbose_arith_tac (formerly arith_tac) to Arith_Data; simple_arith-tac now named linear_arith_tac | changeset | files |