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 |