Mon, 27 Sep 2010 10:44:08 +0200 | blanchet | rename "Clausifier" to "Meson_Clausifier" and merge with "Meson_Tactic" | file | diff | annotate |
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 |