| Thu, 08 Jul 1999 18:32:43 +0200 | wenzelm | propp: 'concl' patterns; | file | diff | annotate |
| Sun, 04 Jul 1999 20:19:28 +0200 | wenzelm | added transfer_used_names; | file | diff | annotate |
| Thu, 01 Jul 1999 21:20:27 +0200 | wenzelm | have_thmss: more_ths; | file | diff | annotate |
| Thu, 01 Jul 1999 17:38:44 +0200 | wenzelm | setmp Display.show_hyps false; | file | diff | annotate |
| Mon, 28 Jun 1999 23:02:03 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 28 Jun 1999 21:44:19 +0200 | wenzelm | tuned output: print_context replaced by strings_of_context; | file | diff | annotate |
| Mon, 07 Jun 1999 22:17:23 +0200 | wenzelm | improved handling of assumptions; | file | diff | annotate |
| Sat, 05 Jun 1999 20:33:27 +0200 | wenzelm | auto_bind_goal, auto_bind_facts; | file | diff | annotate |
| Wed, 02 Jun 1999 22:29:04 +0200 | wenzelm | read_term/prop_pat: do not freeze; | file | diff | annotate |
| 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 |