| 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 |
| Thu, 19 Jan 2006 14:59:55 +0100 | berghofe | Re-inserted consts_code declaration accidentally deleted | changeset | files |
| Thu, 19 Jan 2006 10:22:13 +0100 | paulson | strengthened some lemmas; simplified some proofs | changeset | files |
| Wed, 18 Jan 2006 11:55:50 +0100 | haftmann | substantial improvement in serialization handling | changeset | files |