| Tue, 04 May 1999 18:05:34 +0200 | wenzelm | HOL part moved to 'logics-HOL' manual; | file | diff | annotate |
| Wed, 14 Apr 1999 18:55:29 +0200 | wenzelm | remoced old set_current_thy; | file | diff | annotate |
| Tue, 19 Jan 1999 11:18:11 +0100 | paulson | removal of the (thm list) argument of mk_cases | file | diff | annotate |
| Tue, 12 Jan 1999 15:40:53 +0100 | wenzelm | SYNC; | file | diff | annotate |
| Fri, 08 Jan 1999 14:02:04 +0100 | paulson | removal of FOL, ZF to a separate manual | file | diff | annotate |
| Sat, 24 Oct 1998 20:28:03 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Sat, 24 Oct 1998 20:22:45 +0200 | wenzelm | records; | file | diff | annotate |
| Fri, 23 Oct 1998 19:35:20 +0200 | wenzelm | SYNC: records (draft version); | file | diff | annotate |
| Fri, 23 Oct 1998 18:47:20 +0200 | paulson | auto update | file | diff | annotate |
| Fri, 23 Oct 1998 16:27:56 +0200 | berghofe | Updated to new datatype package. | file | diff | annotate |
| Tue, 28 Jul 1998 16:33:43 +0200 | paulson | Changed "goal" to "Goal" | file | diff | annotate |
| Mon, 20 Jul 1998 19:06:14 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Thu, 30 Apr 1998 17:16:25 +0200 | wenzelm | fixed simpset(), claset(); | file | diff | annotate |
| Thu, 09 Apr 1998 12:31:35 +0200 | paulson | Clearer description of recdef, including use of {} | file | diff | annotate |
| Tue, 30 Dec 1997 13:43:39 +0100 | nipkow | nth -> ! | file | diff | annotate |
| Sun, 02 Nov 1997 14:01:38 +0100 | nipkow | Indexed split_t_case. | file | diff | annotate |
| Tue, 21 Oct 1997 10:52:25 +0200 | paulson | Fixed the index entries for "recursion, general" | file | diff | annotate |
| Fri, 04 Jul 1997 12:36:00 +0200 | paulson | Automatic update | file | diff | annotate |
| Fri, 23 May 1997 14:13:51 +0200 | nipkow | Documented `size' function for datatypes. | file | diff | annotate |
| Thu, 22 May 1997 11:16:24 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Fri, 16 May 1997 15:51:11 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Mon, 12 May 1997 16:44:58 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Fri, 09 May 1997 19:42:09 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Fri, 02 May 1997 16:18:49 +0200 | berghofe | Updated to LaTeX 2e | file | diff | annotate |
| Thu, 20 Feb 1997 16:09:41 +0100 | wenzelm | added index info; | file | diff | annotate |