doc-src/Logics/logics.tex
1995-08-10 paulson 1995-08-10 Handle renaming of CHOL.tex to HOL.tex
1995-07-25 lcp 1995-07-25 now uses proof209.sty
1995-05-09 clasohm 1995-05-09 converted HOL.tex to CHOL.tex; replaced HOL.tex by CHOL.tex
1995-01-24 lcp 1995-01-24 \bibliography now includes crossref.bib
1994-07-12 nipkow 1994-07-12 Corrected HOL.tex
1994-07-12 nipkow 1994-07-12 included rail.sty
1994-05-03 lcp 1994-05-03 post-CRC corrections
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-03-21 lcp 1994-03-21 first draft of Springer book
1993-11-11 lcp 1993-11-11 Various updates for Isabelle-93
1993-11-10 lcp 1993-11-10 Initial revision