| 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 |
| Fri, 25 Jun 2010 15:30:38 +0200 | blanchet | more moving around of ML files in "Sledgehammer.thy" | changeset | files |
| Fri, 25 Jun 2010 15:22:12 +0200 | blanchet | got rid of needless exception | changeset | files |