| Mon, 30 Sep 1996 11:10:22 +0200 | paulson | Removed some dead wood. Transferred lemmas used to prove analz_image_newK | changeset | files |
| Mon, 30 Sep 1996 11:04:14 +0200 | paulson | Improved discussion of shyps thanks to Markus Wenzel | changeset | files |
| Mon, 30 Sep 1996 10:59:47 +0200 | paulson | prune_params_tac no longer rewrites main goal | changeset | files |
| Thu, 26 Sep 1996 17:34:36 +0200 | paulson | Added catch-all clause to drop, preventing exception Match | changeset | files |
| Thu, 26 Sep 1996 17:30:52 +0200 | paulson | Now replaces uses of ssubst by stac | changeset | files |
| Thu, 26 Sep 1996 17:15:19 +0200 | paulson | Documented sort hypotheses and improved discussion of derivations | changeset | files |
| Thu, 26 Sep 1996 17:14:02 +0200 | paulson | Documented defer_tac and moved back the obsolete tactics like fold_tac | changeset | files |