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 |