| Thu, 13 Dec 2001 16:48:34 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 10 Dec 2001 20:58:15 +0100 | wenzelm | updated reserved words of HOL; | file | diff | annotate |
| Wed, 14 Nov 2001 18:44:27 +0100 | wenzelm | inductive: removed con_defs; | file | diff | annotate |