Mon, 08 Dec 1997 20:29:49 +0100 | wenzelm | \subsection{*Theory inclusion}; | changeset | files |
Mon, 08 Dec 1997 13:57:19 +0100 | paulson | Tidying to fix overfull lines, etc | changeset | files |
Mon, 08 Dec 1997 13:56:49 +0100 | paulson | Comprehensive (??) list of bugs, fixed or not | changeset | files |