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