| Tue, 21 Dec 1993 16:26:40 +0100 | nipkow | Necessary changes to accomodate type abbreviations. | changeset | files |
| Tue, 21 Dec 1993 14:47:29 +0100 | wenzelm | pretty_thm is now exported; | changeset | files |
| Tue, 21 Dec 1993 13:58:12 +0100 | lcp | new section for equality properties | changeset | files |
| Tue, 14 Dec 1993 14:02:52 +0100 | nipkow | Updated read_insts to approximate simultaneous type checking of substitution | changeset | files |
| Mon, 13 Dec 1993 18:50:03 +0100 | lcp | added isabelle-users paragraph | changeset | files |
| Mon, 13 Dec 1993 18:48:47 +0100 | lcp | added mention of simplifier, splitter, hypsubst | changeset | files |
| Mon, 13 Dec 1993 18:18:34 +0100 | lcp | new year | changeset | files |