| Wed, 06 Mar 2002 16:18:45 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 04 Mar 2002 19:06:52 +0100 | wenzelm | hide SVC stuff (outdated); | file | diff | annotate |
| Mon, 04 Mar 2002 13:54:41 +0100 | berghofe | Added some examples to section on executable specifications. | file | diff | annotate |
| Mon, 31 Dec 2001 14:08:23 +0100 | berghofe | Added section on code generator. | file | diff | annotate |
| Wed, 14 Nov 2001 18:44:27 +0100 | wenzelm | inductive: removed con_defs; | file | diff | annotate |
| Mon, 09 Apr 2001 10:11:59 +0200 | paulson | lexicographic product of two relations: updated HOL.tex | file | diff | annotate |
| Thu, 28 Sep 2000 14:49:15 +0200 | wenzelm | record proof tools: t.equality; | file | diff | annotate |
| Thu, 21 Sep 2000 15:58:13 +0200 | wenzelm | renamed HOL/ex/Points to HOL/ex/Records; | file | diff | annotate |
| Fri, 15 Sep 2000 12:39:57 +0200 | paulson | renamed (most of...) the select rules | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Thu, 06 Jul 2000 11:23:39 +0200 | paulson | fixed typos reported by Jeremy Dawson | file | diff | annotate |
| Fri, 30 Jun 2000 17:51:56 +0200 | paulson | overloading, axclasses, numerals and general tidying | file | diff | annotate |
| Fri, 31 Mar 2000 10:08:26 +0200 | nipkow | updated recdef | file | diff | annotate |
| Wed, 29 Mar 2000 15:09:51 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 13 Mar 2000 16:24:23 +0100 | wenzelm | renamed cases_tac to case_tac; | file | diff | annotate |
| Mon, 13 Mar 2000 13:11:16 +0100 | nipkow | exhaust -> cases | file | diff | annotate |
| Wed, 13 Oct 1999 15:16:52 +0200 | berghofe | Eliminated mutual_induct_tac. | file | diff | annotate |
| Mon, 11 Oct 1999 16:07:35 +0200 | berghofe | - Documented monotonicity theorems. | file | diff | annotate |
| Mon, 06 Sep 1999 18:17:48 +0200 | oheimb | added smp_tac | file | diff | annotate |
| Mon, 23 Aug 1999 16:58:00 +0200 | wenzelm | record_simproc; | file | diff | annotate |
| Mon, 23 Aug 1999 16:38:29 +0200 | berghofe | Some changes in sections about Sum and Nat. | file | diff | annotate |
| Thu, 19 Aug 1999 15:11:12 +0200 | paulson | documented svc_tac | file | diff | annotate |
| Tue, 17 Aug 1999 22:24:15 +0200 | wenzelm | eliminated HOL_quantifiers (replaced by "HOL" print mode); | file | diff | annotate |
| Mon, 19 Jul 1999 17:03:10 +0200 | berghofe | Documented usage of function types in datatype specifications. | file | diff | annotate |
| Mon, 10 May 1999 17:02:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 10 May 1999 15:26:30 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
| Wed, 05 May 1999 09:43:53 +0200 | nipkow | Bibtex stuff. | file | diff | annotate |
| Tue, 04 May 1999 18:03:56 +0200 | wenzelm | used to be part of 'logics' manual; | file | diff | annotate |