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 |