Mon, 21 Jul 2008 16:30:49 +0200 | haftmann | (re-)added simp rules for (_ + _) div/mod _ | changeset | files |
Mon, 21 Jul 2008 15:27:23 +0200 | haftmann | (re-)added simp rules for (_ + _) div/mod _ | changeset | files |
Mon, 21 Jul 2008 15:26:26 +0200 | haftmann | added explicit purge_data | changeset | files |