doc-src/HOL/HOL.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-07-06 paulson 2000-07-06 fixed typos reported by Jeremy Dawson
2000-06-30 paulson 2000-06-30 overloading, axclasses, numerals and general tidying
2000-03-31 nipkow 2000-03-31 updated recdef
2000-03-29 nipkow 2000-03-29 *** empty log message ***
2000-03-13 wenzelm 2000-03-13 renamed cases_tac to case_tac;
2000-03-13 nipkow 2000-03-13 exhaust -> cases
1999-10-13 berghofe 1999-10-13 Eliminated mutual_induct_tac.
1999-10-11 berghofe 1999-10-11 - Documented monotonicity theorems. - Tuned accessible part example.
1999-09-06 oheimb 1999-09-06 added smp_tac
1999-08-23 wenzelm 1999-08-23 record_simproc;
1999-08-23 berghofe 1999-08-23 Some changes in sections about Sum and Nat.
1999-08-19 paulson 1999-08-19 documented svc_tac
1999-08-17 wenzelm 1999-08-17 eliminated HOL_quantifiers (replaced by "HOL" print mode);
1999-07-19 berghofe 1999-07-19 Documented usage of function types in datatype specifications.
1999-05-10 wenzelm 1999-05-10 tuned;
1999-05-10 wenzelm 1999-05-10 pdf setup;
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;