doc-src/Logics/HOL.tex
Thu, 29 Jun 1995 12:28:27 +0200 clasohm changed 'chol' labels to 'hol'; added a few parentheses
Thu, 29 Jun 1995 12:08:44 +0200 clasohm changes made by Lawrence Paulson
Tue, 09 May 1995 10:43:19 +0200 clasohm converted HOL.tex to CHOL.tex; replaced HOL.tex by CHOL.tex
less more (0) tip