| Fri, 14 Feb 1997 10:36:33 +0100 | paulson | Added a new challenge problem | changeset | files |
| Fri, 14 Feb 1997 10:35:42 +0100 | paulson | Updated documentation of IFOL_ss | changeset | files |
| Fri, 14 Feb 1997 10:35:23 +0100 | paulson | Documented thin_tac | changeset | files |
| Fri, 14 Feb 1997 10:35:06 +0100 | paulson | Strengthened warnings concerning topthm(), etc. | changeset | files |
| Fri, 14 Feb 1997 10:34:24 +0100 | paulson | Updated a reference | changeset | files |
| Wed, 12 Feb 1997 18:54:39 +0100 | nipkow | New class "order" and accompanying changes. | changeset | files |
| Wed, 12 Feb 1997 18:53:59 +0100 | nipkow | New class "order" and accompanying changes. | changeset | files |