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