Wed, 18 Nov 1998 10:59:44 +0100 | wenzelm | 'prop', 'term', 'typ'; | file | diff | annotate |
Tue, 17 Nov 1998 14:13:32 +0100 | wenzelm | added 'theorems', 'lemmas', 'note'; | file | diff | annotate |
Mon, 16 Nov 1998 11:33:42 +0100 | wenzelm | thm, thms; | file | diff | annotate |
Mon, 16 Nov 1998 11:05:55 +0100 | wenzelm | add print_theorems; | file | diff | annotate |
Mon, 09 Nov 1998 15:35:00 +0100 | wenzelm | Pure outer syntax. | file | diff | annotate |