| 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 |