Fri, 17 Sep 2010 00:54:56 +0200 | blanchet | simplify Skolem handling; | file | diff | annotate |
Thu, 16 Sep 2010 17:30:29 +0200 | blanchet | complete refactoring of Metis along the lines of Sledgehammer | file | diff | annotate |
Thu, 16 Sep 2010 16:12:02 +0200 | blanchet | rename "Metis_Clauses" to "Metis_Translate" for consistency with "Sledgehammer_Translate" | file | diff | annotate | base |