| Fri, 15 May 2009 10:01:57 +0200 | nipkow | new lemma | changeset | files |
| Thu, 14 May 2009 21:57:03 +0200 | haftmann | merged | changeset | files |
| Thu, 14 May 2009 15:11:41 +0200 | haftmann | merged | changeset | files |
| Thu, 14 May 2009 15:09:48 +0200 | haftmann | merged module code_unit.ML into code.ML | changeset | files |
| Thu, 14 May 2009 15:09:47 +0200 | haftmann | monomorphic code generation for power operations | changeset | files |
| Thu, 14 May 2009 15:09:47 +0200 | haftmann | preprocessing must consider eq | changeset | files |
| Thu, 14 May 2009 15:09:46 +0200 | haftmann | quickcheck size starts with 0 | changeset | files |
| Thu, 14 May 2009 09:16:36 +0200 | haftmann | strip sorts while checking pattern subsumption | changeset | files |
| Thu, 14 May 2009 09:16:34 +0200 | haftmann | rewrite op = == eq handled by simproc | changeset | files |
| Thu, 14 May 2009 09:16:33 +0200 | haftmann | updated generated document | changeset | files |
| Thu, 14 May 2009 15:39:29 +0200 | nipkow | merged | changeset | files |
| Thu, 14 May 2009 15:39:15 +0200 | nipkow | Cleaned up Parity a little | changeset | files |
| Thu, 14 May 2009 11:00:42 +0200 | berghofe | merged | changeset | files |
| Wed, 13 May 2009 19:21:54 +0200 | berghofe | merged | changeset | files |
| Wed, 13 May 2009 19:21:32 +0200 | berghofe | Cleaned up code of function test_term. | changeset | files |
| Thu, 14 May 2009 08:22:07 +0200 | haftmann | dropped accidental debug messages | changeset | files |