Mon, 16 Nov 1998 11:33:14 +0100 | wenzelm | added print_thm; | file | diff | annotate |
Mon, 16 Nov 1998 11:04:35 +0100 | wenzelm | add print_theorems; | file | diff | annotate |
Mon, 09 Nov 1998 15:34:41 +0100 | wenzelm | Non-logical toplevel commands. | file | diff | annotate |