| Tue, 28 Jun 2005 17:56:04 +0200 | paulson | stylistic improvements | file | diff | annotate |
| Fri, 24 Jun 2005 17:25:10 +0200 | paulson | meson method taking an argument list | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Fri, 20 May 2005 18:34:14 +0200 | paulson | converted some problems to Isar format | file | diff | annotate |
| Tue, 07 Dec 2004 18:10:13 +0100 | paulson | renamed attributes to lower case | file | diff | annotate |
| Fri, 20 Aug 2004 12:21:03 +0200 | paulson | proof reconstruction for external ATPs | file | diff | annotate |
| Fri, 06 Aug 2004 13:35:26 +0200 | paulson | modified resolution proof | file | diff | annotate |
| Mon, 28 Jun 2004 11:15:13 +0200 | paulson | new method for explicit classical resolution | file | diff | annotate |
| Wed, 29 Oct 2003 16:16:20 +0100 | paulson | tidying | file | diff | annotate |
| Wed, 08 Oct 2003 15:57:41 +0200 | paulson | Merging of ex/cla.ML and ex/mesontest.ML to ex/Classical.thy | file | diff | annotate |