Thu, 19 Jan 2006 21:22:15 +0100 | wenzelm | tuned comments; | changeset | files |
Thu, 19 Jan 2006 21:22:14 +0100 | wenzelm | setup: theory -> theory; | changeset | files |
Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | changeset | files |
Thu, 19 Jan 2006 15:45:10 +0100 | berghofe | Use generic Simplifier.simp_add attribute instead | changeset | files |