| Mon, 10 Dec 2001 15:17:49 +0100 | berghofe | Moved code generator setup from Recdef to Inductive. | file | diff | annotate |
| Sat, 03 Nov 2001 01:33:54 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 31 Aug 2001 16:28:26 +0200 | berghofe | Added code generator setup. | file | diff | annotate |
| Wed, 25 Jul 2001 17:58:26 +0200 | paulson | Hilbert restructuring: Wellfounded_Relations no longer needs Hilbert_Choice | file | diff | annotate |
| Fri, 04 May 2001 15:38:48 +0200 | nipkow | made same_fst recdef_simp | file | diff | annotate |
| Tue, 20 Feb 2001 18:47:27 +0100 | oheimb | added image_cong to default congs of recdef | file | diff | annotate |
| Wed, 03 Jan 2001 21:23:50 +0100 | wenzelm | renamed .sml files to .ML; | file | diff | annotate |
| Wed, 13 Dec 2000 09:32:55 +0100 | nipkow | small mods. | file | diff | annotate |
| Thu, 12 Oct 2000 18:38:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 05 Sep 2000 18:48:04 +0200 | wenzelm | improved recdef setup; | file | diff | annotate |
| Sun, 27 Feb 2000 15:23:28 +0100 | wenzelm | early setup of induct_method; | file | diff | annotate |
| Mon, 04 Oct 1999 21:44:07 +0200 | wenzelm | load / setup recdef package (TFL); | file | diff | annotate |
| Wed, 25 Aug 1999 20:49:02 +0200 | wenzelm | proper bootstrap of HOL theory and packages; | file | diff | annotate |
| Fri, 16 Apr 1999 14:49:06 +0200 | wenzelm | 'HOL/recdef' theory data; | file | diff | annotate |
| Fri, 03 Jul 1998 17:34:55 +0200 | wenzelm | stepping stones; | file | diff | annotate |