doc-src/HOL/logics-HOL.tex
2011-05-02 wenzelm 2011-05-02 eliminated old CVS Ids;
2011-05-02 wenzelm 2011-05-02 removed obsolete rail diagrams (which were about old-style theory syntax);
2011-05-01 wenzelm 2011-05-01 include static rail files for old manuals, to make standard make job independent of the "rail" executable;
2005-09-26 berghofe 2005-09-26 Updated description of code generator.
2002-03-06 wenzelm 2002-03-06 tuned;
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-06-30 paulson 2000-06-30 overloading, axclasses, numerals and general tidying
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-05-10 wenzelm 1999-05-10 tuned;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-06 nipkow 1999-05-06 New title page.
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated
1999-05-05 nipkow 1999-05-05 Bibtex stuff.
1999-05-04 wenzelm 1999-05-04 used to be part of 'logics' manual;