| Fri, 18 Jun 2010 15:26:04 +0200 | haftmann | code_simp: only succeed on real progress | changeset | files |
| Fri, 18 Jun 2010 15:26:02 +0200 | haftmann | prefer fold over foldl | changeset | files |
| Fri, 18 Jun 2010 15:03:21 +0200 | haftmann | conclude simplification with default simpset | changeset | files |
| Fri, 18 Jun 2010 15:03:21 +0200 | haftmann | drop subsumed default equations (requires a little bit unfortunate laziness) | changeset | files |