| Mon, 24 May 1999 21:55:34 +0200 | wenzelm | tuned print_context; | file | diff | annotate |
| Sat, 01 May 1999 00:10:05 +0200 | wenzelm | renamed 'dummy' to 'dummy_pattern' (less dangerous); | file | diff | annotate |
| Fri, 30 Apr 1999 18:05:55 +0200 | wenzelm | dummy patterns; | file | diff | annotate |
| Tue, 27 Apr 1999 15:13:18 +0200 | wenzelm | verbose flag; | file | diff | annotate |
| Tue, 12 Jan 1999 13:40:08 +0100 | wenzelm | eliminated tthm type and Attribute structure; | file | diff | annotate |
| 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 |