| Tue, 17 Nov 1998 14:12:13 +0100 | wenzelm | break: exhibit state; | file | diff | annotate |
| 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 |