doc-src/HOL/logics-HOL.tex
2005-09-26 berghofe Updated description of code generator.
2002-03-06 wenzelm tuned;
2000-08-28 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
2000-06-30 paulson overloading, axclasses, numerals and general tidying
2000-05-26 paulson updated acknowledgements
2000-05-08 wenzelm improved indexing;
1999-10-12 wenzelm a4paper;
1999-09-03 wenzelm fixed usepackage;
1999-05-10 wenzelm tuned;
1999-05-10 wenzelm pdf setup;
1999-05-06 nipkow New title page.
1999-05-05 paulson Now uses manual.bib; some references updated
1999-05-05 nipkow Bibtex stuff.
1999-05-04 wenzelm used to be part of 'logics' manual;
less more (0) tip