| Mon, 09 Aug 2010 12:40:15 +0200 | blanchet | use "declaration" instead of "setup" to register Nitpick extensions | changeset | files |
| Mon, 09 Aug 2010 12:07:59 +0200 | blanchet | remove needless "open" | changeset | files |
| Mon, 09 Aug 2010 12:05:48 +0200 | blanchet | move Sledgehammer's HOL -> FOL translation to separate file (sledgehammer_translate.ML) | changeset | files |
| Mon, 09 Aug 2010 11:05:45 +0200 | blanchet | fiddle some more with "max_new_relevant_facts_per_iter" | changeset | files |