| 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 |
| Mon, 10 Feb 1997 15:45:31 +0100 | wenzelm | fixed comment; | changeset | files |
| Mon, 10 Feb 1997 12:52:11 +0100 | paulson | Renamed structure Int (intuitionistic prover) to IntPr to prevent clash | changeset | files |
| Mon, 10 Feb 1997 12:34:54 +0100 | paulson | Renamed structure Int (intuitionistic prover) to IntPr | changeset | files |