| Sat, 15 Oct 2005 00:08:08 +0200 | wenzelm | goal statements: before_qed argument; | file | diff | annotate |
| Tue, 04 Oct 2005 19:01:37 +0200 | wenzelm | minor tweaks for Poplog/ML; | file | diff | annotate |
| Sat, 17 Sep 2005 12:18:06 +0200 | wenzelm | export put_facts; | file | diff | annotate |
| Fri, 16 Sep 2005 14:46:31 +0200 | ballarin | interpretation uses primitive goal interface | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:44 +0200 | wenzelm | major cleanup of interfaces and implementation; | file | diff | annotate |
| Wed, 31 Aug 2005 15:46:40 +0200 | wenzelm | refer to theory instead of low-level tsig; | file | diff | annotate |
| Sun, 28 Aug 2005 16:04:50 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 18 Aug 2005 11:17:47 +0200 | wenzelm | moved after method.ML; | file | diff | annotate |
| Mon, 08 Aug 2005 22:14:04 +0200 | ballarin | After_qed takes result argument. | file | diff | annotate |
| Wed, 13 Jul 2005 16:07:35 +0200 | wenzelm | removed ad-hoc atp_hook, cal_atp; | file | diff | annotate |
| Wed, 22 Jun 2005 19:41:27 +0200 | wenzelm | added depth_of; | file | diff | annotate |
| Fri, 17 Jun 2005 18:33:35 +0200 | wenzelm | RuleCases.tactic; | file | diff | annotate |
| Wed, 01 Jun 2005 12:30:50 +0200 | ballarin | Locales: new element constrains, parameter renaming with syntax, | file | diff | annotate |
| Tue, 31 May 2005 11:53:37 +0200 | wenzelm | method_cases: RuleCases.T option; | file | diff | annotate |
| Tue, 17 May 2005 18:10:31 +0200 | wenzelm | tuned; | file | diff | annotate |