| Thu, 29 Oct 1998 15:06:21 +0100 | wenzelm | *** empty log message *** | file | diff | annotate |
| Thu, 29 Oct 1998 12:41:45 +0100 | paulson | auto update | file | diff | annotate |
| Tue, 29 Sep 1998 16:06:04 +0200 | paulson | auto update | file | diff | annotate |
| Fri, 25 Sep 1998 15:21:07 +0200 | wenzelm | rearranged SIMPSET('); | file | diff | annotate |
| Fri, 25 Sep 1998 14:54:49 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Thu, 27 Aug 1998 16:41:22 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Mon, 24 Aug 1998 19:13:00 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Tue, 28 Jul 1998 16:33:43 +0200 | paulson | Changed "goal" to "Goal" | file | diff | annotate |
| Tue, 21 Jul 1998 08:53:24 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Wed, 27 May 1998 12:19:35 +0200 | paulson | auto update | file | diff | annotate |
| Tue, 03 Mar 1998 15:09:04 +0100 | paulson | auto generated | file | diff | annotate |
| Sat, 07 Feb 1998 14:38:15 +0100 | paulson | auto update | file | diff | annotate |
| Thu, 05 Feb 1998 10:26:59 +0100 | paulson | Fixed a lot of overfull and underfull lines (hboxes) | file | diff | annotate |
| Mon, 12 Jan 1998 17:49:12 +0100 | wenzelm | updated to Isabelle98; | file | diff | annotate |
| Mon, 12 Jan 1998 17:26:00 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 09 Jan 1998 13:49:20 +0100 | wenzelm | several minor updates; | file | diff | annotate |
| Fri, 12 Dec 1997 17:10:40 +0100 | wenzelm | SYNC; | file | diff | annotate |
| Mon, 08 Dec 1997 13:57:19 +0100 | paulson | Tidying to fix overfull lines, etc | file | diff | annotate |
| Thu, 27 Nov 1997 19:37:36 +0100 | wenzelm | SYNC; | file | diff | annotate |
| Fri, 21 Nov 1997 15:40:56 +0100 | wenzelm | SYNC; | file | diff | annotate |
| Mon, 20 Oct 1997 11:53:42 +0200 | nipkow | \label{simp-chap} -> chap:simplification | file | diff | annotate |
| Wed, 01 Oct 1997 11:30:55 +0200 | paulson | Auto update | file | diff | annotate |
| Thu, 11 Sep 1997 12:21:34 +0200 | paulson | auto update | file | diff | annotate |
| Wed, 23 Jul 1997 11:49:20 +0200 | paulson | auto update | file | diff | annotate |
| Thu, 17 Jul 1997 15:03:38 +0200 | wenzelm | fixed EqI meta rule; | file | diff | annotate |
| Fri, 04 Jul 1997 12:36:00 +0200 | paulson | Automatic update | file | diff | annotate |
| Tue, 20 May 1997 10:48:08 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Tue, 20 May 1997 10:39:23 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Thu, 15 May 1997 14:59:46 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Wed, 07 May 1997 16:38:33 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Tue, 06 May 1997 13:43:54 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Tue, 06 May 1997 12:50:16 +0200 | wenzelm | misc updates, tuning, cleanup; | file | diff | annotate |
| Wed, 30 Apr 1997 16:33:43 +0200 | paulson | Indexing for trace_simp | file | diff | annotate |
| Thu, 20 Feb 1997 16:09:41 +0100 | wenzelm | added index info; | file | diff | annotate |