| 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 |