doc-src/HOL/HOL.tex
Mon, 13 Mar 2000 13:11:16 +0100 nipkow exhaust -> cases
Wed, 13 Oct 1999 15:16:52 +0200 berghofe Eliminated mutual_induct_tac.
Mon, 11 Oct 1999 16:07:35 +0200 berghofe - Documented monotonicity theorems.
Mon, 06 Sep 1999 18:17:48 +0200 oheimb added smp_tac
Mon, 23 Aug 1999 16:58:00 +0200 wenzelm record_simproc;
Mon, 23 Aug 1999 16:38:29 +0200 berghofe Some changes in sections about Sum and Nat.
Thu, 19 Aug 1999 15:11:12 +0200 paulson documented svc_tac
Tue, 17 Aug 1999 22:24:15 +0200 wenzelm eliminated HOL_quantifiers (replaced by "HOL" print mode);
Mon, 19 Jul 1999 17:03:10 +0200 berghofe Documented usage of function types in datatype specifications.
Mon, 10 May 1999 17:02:05 +0200 wenzelm tuned;
Mon, 10 May 1999 15:26:30 +0200 wenzelm pdf setup;
Wed, 05 May 1999 16:44:42 +0200 paulson Now uses manual.bib; some references updated
Wed, 05 May 1999 09:43:53 +0200 nipkow Bibtex stuff.
Tue, 04 May 1999 18:03:56 +0200 wenzelm used to be part of 'logics' manual;
less more (0) tip