| Sun, 11 Feb 2001 16:34:20 +0100 | wenzelm | more robust selection of calculational rules; | file | diff | annotate |
| Thu, 16 Nov 2000 22:33:14 +0100 | wenzelm | Proof.assert_forward; | file | diff | annotate |
| Sun, 17 Sep 2000 22:21:31 +0200 | wenzelm | Display.pretty_thm_sg; | file | diff | annotate |
| Thu, 07 Sep 2000 20:56:58 +0200 | wenzelm | tuned msgs; | file | diff | annotate |
| Thu, 13 Jul 2000 23:17:14 +0200 | wenzelm | eq_prop: strip_assums_concl; | file | diff | annotate |
| Sat, 01 Jul 2000 19:42:08 +0200 | wenzelm | tuned print_rules; | file | diff | annotate |
| Mon, 26 Jun 2000 23:59:29 +0200 | wenzelm | eq_prop: eta contract; | file | diff | annotate |
| Fri, 05 May 2000 22:09:41 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Sat, 01 Apr 2000 20:11:50 +0200 | wenzelm | more robust handling of explicit rules; | file | diff | annotate |
| Fri, 31 Mar 2000 21:55:27 +0200 | wenzelm | use Attrib.add_del_args; | file | diff | annotate |
| Sun, 26 Mar 2000 22:31:11 +0200 | wenzelm | added 'ultimately'; | file | diff | annotate |
| Thu, 23 Mar 2000 21:37:13 +0100 | wenzelm | added 'moreover' command; | file | diff | annotate |
| Wed, 15 Mar 2000 18:25:42 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Sun, 27 Feb 2000 15:15:52 +0100 | wenzelm | use NetRules; | file | diff | annotate |
| Fri, 28 Jan 2000 12:03:59 +0100 | wenzelm | map data; | file | diff | annotate |
| Sat, 25 Sep 1999 13:08:08 +0200 | wenzelm | Proof.reset_thms calculationN; | file | diff | annotate |
| Tue, 21 Sep 1999 17:07:28 +0200 | wenzelm | differ: compare actual props only (hyps may changed due to trivial steps involving assumptions); | file | diff | annotate |
| Sat, 04 Sep 1999 21:05:25 +0200 | wenzelm | Library.equal_lists; | file | diff | annotate |
| Wed, 01 Sep 1999 21:14:23 +0200 | wenzelm | calculation: thm list; | file | diff | annotate |
| Mon, 09 Aug 1999 22:21:08 +0200 | wenzelm | append user rules; | file | diff | annotate |
| Tue, 06 Jul 1999 21:06:03 +0200 | wenzelm | improved errors; | file | diff | annotate |
| Thu, 01 Jul 1999 21:25:58 +0200 | wenzelm | also, finally: opt_rules; | file | diff | annotate |
| Sat, 05 Jun 1999 20:32:10 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 04 Jun 1999 22:12:33 +0200 | wenzelm | fixed "...": dest_arg; | file | diff | annotate |
| Fri, 04 Jun 1999 20:10:07 +0200 | wenzelm | oops; | file | diff | annotate |
| Fri, 04 Jun 1999 19:55:41 +0200 | wenzelm | Support for calculational proofs. | file | diff | annotate |