doc-src/Logics/logics.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-05-26 paulson 2000-05-26 updated acknowledgements
2000-05-08 wenzelm 2000-05-08 improved indexing;
1999-10-12 wenzelm 1999-10-12 a4paper;
1999-09-03 wenzelm 1999-09-03 fixed usepackage;
1999-08-03 paulson 1999-08-03 new chapter on Sequents
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-05 wenzelm 1999-05-05 improved Makefile; no rail;
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated
1999-05-04 wenzelm 1999-05-04 HOL part moved to 'logics-HOL' manual;
1999-01-08 paulson 1999-01-08 removal of FOL, ZF to a separate manual
1998-07-21 wenzelm 1998-07-21 fixed isabelle logo;
1998-07-21 wenzelm 1998-07-21 fixed isabelle logo;
1998-07-20 wenzelm 1998-07-20 added pdfsetup and isabelle logo;
1997-05-22 nipkow 1997-05-22 Documented exhaust_tac.
1997-05-07 paulson 1997-05-07 New acknowledgements
1997-05-02 berghofe 1997-05-02 Updated to LaTeX 2e
1997-04-21 nipkow 1997-04-21 Modified credits.
1997-04-17 paulson 1997-04-17 Removed the \date{} command in order to put the date of typesetting on the title page
1997-04-10 paulson 1997-04-10 Updated discussion and references for inductive definitions
1997-02-20 wenzelm 1997-02-20 made a bit more robust for 'make dist';
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