Fri, 25 Jun 2010 17:32:55 +0200 | blanchet | simpler argument | changeset | files |
Fri, 25 Jun 2010 17:26:14 +0200 | blanchet | got rid of "respect_no_atp" option, which even I don't use | changeset | files |
Fri, 25 Jun 2010 17:13:38 +0200 | blanchet | reorder ML files | changeset | files |
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 |