doc-src/Logics/CHOL.tex
1995-06-29 clasohm 1995-06-29 changed 'chol' labels to 'hol'; added a few parentheses
1995-06-29 clasohm 1995-06-29 changes made by Lawrence Paulson
1995-05-09 clasohm 1995-05-09 converted HOL.tex to CHOL.tex; replaced HOL.tex by CHOL.tex