| Fri, 03 May 1996 17:40:05 +0200 | paulson | updated comments for handling derivations | changeset | files |
| Fri, 03 May 1996 17:35:13 +0200 | paulson | Extra examples for safe_meson_tac | changeset | files |
| Thu, 02 May 1996 12:00:37 +0200 | paulson | Restored a proof of Pelletier #38 -- mysteriously deleted | changeset | files |
| Thu, 02 May 1996 10:20:15 +0200 | nipkow | Added note on types. | changeset | files |
| Wed, 01 May 1996 13:55:20 +0200 | paulson | Deleted diff_mult_distrib_r as diff_mult_distrib is not proved in Arith. | changeset | files |
| Wed, 01 May 1996 13:48:31 +0200 | paulson | New cancellation and monotonicity laws, about | changeset | files |
| Wed, 01 May 1996 13:47:21 +0200 | paulson | Two new "obvious" examples | changeset | files |