| Fri, 25 Jul 2008 12:03:31 +0200 | haftmann | added explicit root theory; some tuning | changeset | files |
| Fri, 25 Jul 2008 12:03:28 +0200 | haftmann | tuned | changeset | files |
| Fri, 25 Jul 2008 07:35:53 +0200 | haftmann | dropped locale (open) | changeset | files |
| Mon, 21 Jul 2008 16:30:49 +0200 | haftmann | (re-)added simp rules for (_ + _) div/mod _ | changeset | files |