Fri, 18 Aug 1995 15:20:02 +0200 | paulson | clarified comment | changeset | files |
Fri, 18 Aug 1995 12:28:02 +0200 | nipkow | fixed bug in findI | changeset | files |
Thu, 17 Aug 1995 15:07:09 +0200 | nipkow | deactivated fix_shyps. | changeset | files |
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 |