| 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 |