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