| Sun, 29 Nov 1998 13:21:38 +0100 | wenzelm | fixed declatation of patterns and skolem; | file | diff | annotate |
| Thu, 19 Nov 1998 11:46:24 +0100 | wenzelm | term_pat vs. prop_pat; | file | diff | annotate |
| Tue, 17 Nov 1998 14:25:40 +0100 | wenzelm | have_tthms; | file | diff | annotate |
| Mon, 16 Nov 1998 10:45:52 +0100 | wenzelm | renamed init_context to init; | file | diff | annotate |
| Mon, 09 Nov 1998 15:31:04 +0100 | wenzelm | Proof context information. | file | diff | annotate |