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 |