Thu, 07 Dec 1995 18:36:33 +0100 | clasohm | removed quotes from consts and syntax sections | file | diff | annotate |
Fri, 18 Aug 1995 16:38:41 +0200 | nipkow | updated "o" in HOL: (infixl 55) | file | diff | annotate |
Thu, 29 Jun 1995 12:28:27 +0200 | clasohm | changed 'chol' labels to 'hol'; added a few parentheses | file | diff | annotate |
Thu, 29 Jun 1995 12:08:44 +0200 | clasohm | changes made by Lawrence Paulson | file | diff | annotate |
Tue, 09 May 1995 10:43:19 +0200 | clasohm | converted HOL.tex to CHOL.tex; replaced HOL.tex by CHOL.tex | file | diff | annotate |