Fri, 25 Jun 2010 17:08:39 +0200 | blanchet | renamed "Sledgehammer_FOL_Clauses" to "Metis_Clauses", so that Metis doesn't depend on Sledgehammer | changeset | files |
Fri, 25 Jun 2010 16:42:06 +0200 | blanchet | merge "Sledgehammer_{F,H}OL_Clause", as requested by a FIXME | changeset | files |
Fri, 25 Jun 2010 16:29:07 +0200 | blanchet | get rid of type alias | changeset | files |
Fri, 25 Jun 2010 16:27:53 +0200 | blanchet | exploit "Name.desymbolize" to remove some dependencies | changeset | files |
Fri, 25 Jun 2010 16:15:03 +0200 | blanchet | renamed "Sledgehammer_Fact_Preprocessor" to "Clausifier"; | changeset | files |
Fri, 25 Jun 2010 16:03:34 +0200 | blanchet | fewer dependencies | changeset | files |
Fri, 25 Jun 2010 15:59:13 +0200 | blanchet | more intra-module dependency cleanup + merge "const" and "type_const" tables, since this is safe | changeset | files |