Mon, 14 Aug 1995 13:42:27 +0200 | paulson | updated version number to revision 4 | changeset | files |
Fri, 11 Aug 1995 12:36:15 +0200 | paulson | Mateja Jamnik's theory to html converter | changeset | files |
Thu, 10 Aug 1995 13:16:31 +0200 | paulson | Handle renaming of CHOL.tex to HOL.tex | changeset | files |