| Sun, 19 Feb 1995 15:04:39 +0100 | nipkow | Reorganized/optimized datatype definitions. | file | diff | annotate |
| Wed, 14 Dec 1994 10:32:07 +0100 | wenzelm | improved primrec: now calls store_thm; | file | diff | annotate |
| Fri, 02 Dec 1994 16:13:34 +0100 | nipkow | Moved the old List to ex and replaced it by one defined via | file | diff | annotate |
| Wed, 23 Nov 1994 10:36:03 +0100 | wenzelm | added 'datatype' and 'primrec'; | file | diff | annotate |
| Fri, 04 Nov 1994 14:15:29 +0100 | wenzelm | additional theory file sections for HOL; | file | diff | annotate |