| 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 |