| Thu, 01 Nov 2007 20:20:19 +0100 | nipkow | recdef -> fun | file | diff | annotate |
| Mon, 23 Jul 2007 14:34:27 +0200 | berghofe | Removed legacy ML files in Protocol case study. | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:21 +0200 | wenzelm | removed -H false; | file | diff | annotate |
| Wed, 22 Jun 2005 19:43:38 +0200 | nipkow | added Rules/find2 | file | diff | annotate |
| Wed, 25 May 2005 09:04:24 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 08 May 2003 12:50:27 +0200 | paulson | HOL-Real -> HOL-Complex | file | diff | annotate |
| Fri, 05 Jul 2002 17:48:05 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 21 Dec 2001 19:55:39 +0100 | wenzelm | removed Misc/Translations (text covered by Documents.thy); | file | diff | annotate |
| Sun, 21 Oct 2001 19:35:40 +0200 | wenzelm | renamed Typedef.thy to Typedefs.thy (former already present in main HOL); | file | diff | annotate |
| Sat, 20 Oct 2001 22:07:44 +0200 | wenzelm | got rid of separate root.tex; | file | diff | annotate |
| Mon, 01 Oct 2001 14:44:00 +0200 | wenzelm | initial setup for chapter on document preparation; | file | diff | annotate |
| Fri, 28 Sep 2001 14:10:01 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 17 Jul 2001 13:46:21 +0200 | paulson | tidying the index | file | diff | annotate |
| Wed, 11 Jul 2001 10:50:18 +0200 | paulson | do not remove Rules and Sets TeX files | file | diff | annotate |
| Fri, 29 Jun 2001 18:12:18 +0200 | paulson | the records section | file | diff | annotate |
| Thu, 03 May 2001 10:27:04 +0200 | paulson | remove unnecessary TeX files | file | diff | annotate |
| Tue, 10 Apr 2001 16:11:01 +0200 | paulson | Protocols chapter | file | diff | annotate |
| Tue, 13 Mar 2001 18:35:48 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 25 Jan 2001 15:31:31 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 22 Jan 2001 11:01:05 +0100 | paulson | new examples theory Rules/Tacticals.thy | file | diff | annotate |
| Wed, 10 Jan 2001 11:00:17 +0100 | paulson | fixed the treatment of Rules and Sets | file | diff | annotate |
| Fri, 05 Jan 2001 15:39:34 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 03 Jan 2001 11:13:51 +0100 | paulson | Types chapter now uses HOL-Real | file | diff | annotate |
| Tue, 02 Jan 2001 12:04:33 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 15 Dec 2000 18:06:48 +0100 | wenzelm | usedir -m brackets; | file | diff | annotate |
| Fri, 15 Dec 2000 12:32:35 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 13 Dec 2000 10:11:13 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 13 Dec 2000 09:39:53 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 05 Dec 2000 18:57:40 +0100 | paulson | new theory Numbers.thy | file | diff | annotate |
| Thu, 30 Nov 2000 13:56:46 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 29 Nov 2000 13:44:26 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 03 Nov 2000 10:23:24 +0100 | paulson | replaced Acc.thy by Advanced.thy | file | diff | annotate |
| Tue, 31 Oct 2000 08:53:12 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 25 Oct 2000 18:24:33 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 23 Oct 2000 17:35:17 +0200 | paulson | now includes Rules, Sets (?) | file | diff | annotate |
| Mon, 16 Oct 2000 13:21:01 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 13 Oct 2000 18:02:08 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 12 Oct 2000 18:38:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 11 Oct 2000 10:44:42 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 11 Oct 2000 09:09:06 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 02 Oct 2000 14:25:10 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 15 Sep 2000 20:47:06 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Thu, 14 Sep 2000 17:46:00 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 12 Sep 2000 15:43:15 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 05 Sep 2000 13:53:39 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 29 Aug 2000 15:43:29 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 29 Aug 2000 15:13:10 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 28 Aug 2000 09:32:51 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 21 Aug 2000 17:54:43 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 18 Aug 2000 10:34:08 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 04 Aug 2000 11:22:59 +0200 | wenzelm | targets for images, test, all; | file | diff | annotate |
| Wed, 02 Aug 2000 11:30:38 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 09 May 2000 16:05:45 +0200 | wenzelm | use proper version of pdfsetup.sty; | file | diff | annotate |
| Mon, 08 May 2000 10:53:13 +0200 | wenzelm | improved handling of Isabelle styles (less garbage); | file | diff | annotate |
| Thu, 20 Apr 2000 09:54:56 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 19 Apr 2000 13:40:42 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 19 Apr 2000 11:54:39 +0200 | nipkow | I wonder if that's all? | file | diff | annotate |