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 |