| 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 |
| Wed, 12 Feb 1997 15:43:50 +0100 | wenzelm | TFL: missing -q option! | changeset | files |
| Wed, 12 Feb 1997 15:42:31 +0100 | wenzelm | tuned names: partial order, linear order; | changeset | files |
| Mon, 10 Feb 1997 16:16:55 +0100 | wenzelm | tuned startup; | changeset | files |