Wed, 11 Jul 2007 11:29:44 +0200 | berghofe | Adapted to changes in Predicate theory. | file | diff | annotate |
Fri, 29 Jun 2007 18:21:25 +0200 | paulson | bug fixes to proof reconstruction | file | diff | annotate |
Thu, 21 Jun 2007 13:23:33 +0200 | paulson | integration of Metis prover | file | diff | annotate |