| Mon, 07 Jan 2002 18:30:31 +0100 | wenzelm | updated; | file | diff | annotate |
| Sun, 06 Jan 2002 13:47:55 +0100 | wenzelm | updated; | file | diff | annotate |
| Sat, 05 Jan 2002 21:41:38 +0100 | wenzelm | updated; | file | diff | annotate |
| Sat, 05 Jan 2002 01:27:32 +0100 | wenzelm | updated; | file | diff | annotate |
| Sat, 05 Jan 2002 01:20:06 +0100 | wenzelm | updated; | file | diff | annotate |
| Fri, 04 Jan 2002 19:19:51 +0100 | wenzelm | updated; | file | diff | annotate |
| Fri, 21 Dec 2001 20:58:25 +0100 | wenzelm | updated; | file | diff | annotate |
| Fri, 21 Dec 2001 00:44:35 +0100 | wenzelm | updated; | file | diff | annotate |
| Wed, 19 Dec 2001 00:26:19 +0100 | wenzelm | updated; | file | diff | annotate |
| Mon, 10 Dec 2001 20:58:15 +0100 | wenzelm | updated reserved words of HOL; | file | diff | annotate |
| Sat, 01 Dec 2001 18:52:32 +0100 | wenzelm | renamed class "term" to "type" (actually "HOL.type"); | file | diff | annotate |
| Fri, 30 Nov 2001 12:18:14 +0100 | paulson | minor tweaks | file | diff | annotate |
| Thu, 15 Nov 2001 23:26:58 +0100 | wenzelm | updated; | file | diff | annotate |
| Sun, 21 Oct 2001 19:49:29 +0200 | wenzelm | updated; | file | diff | annotate |
| Mon, 01 Oct 2001 14:44:00 +0200 | wenzelm | initial setup for chapter on document preparation; | file | diff | annotate |
| Thu, 27 Sep 2001 12:25:09 +0200 | wenzelm | updated; | file | diff | annotate |
| Thu, 09 Aug 2001 18:12:15 +0200 | paulson | revisions and indexing | file | diff | annotate |
| Fri, 03 Aug 2001 18:04:55 +0200 | paulson | numerous stylistic changes and indexing | file | diff | annotate |
| Thu, 26 Jul 2001 18:23:38 +0200 | paulson | additional revisions to chapters 1, 2 | file | diff | annotate |
| Tue, 24 Jul 2001 11:25:54 +0200 | paulson | tweaks and indexing | file | diff | annotate |
| Fri, 20 Jul 2001 17:49:21 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Tue, 17 Jul 2001 15:07:36 +0200 | paulson | tidying the index | file | diff | annotate |
| Tue, 17 Jul 2001 13:46:21 +0200 | paulson | tidying the index | file | diff | annotate |
| Fri, 13 Jul 2001 18:28:46 +0200 | paulson | working | file | diff | annotate |
| Fri, 13 Jul 2001 11:31:05 +0200 | paulson | index file | file | diff | annotate |