| Mon, 09 Aug 2010 14:00:32 +0200 | blanchet | adapt "too_general_equality" blacklisting to the new FOF context, where quantifiers are sometimes present | changeset | files |
| Mon, 09 Aug 2010 13:46:25 +0200 | blanchet | "declare" -> "declaration" (typo) | changeset | files |
| Mon, 09 Aug 2010 12:53:16 +0200 | blanchet | replace "setup" with "declaration" | changeset | files |
| Mon, 09 Aug 2010 12:48:40 +0200 | blanchet | disable Nitpick on Cygwin while I'm on vacation; | changeset | files |
| Mon, 09 Aug 2010 12:42:25 +0200 | blanchet | merged | changeset | files |
| 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 |