Wed, 18 Aug 2010 17:09:05 +0200 | blanchet | added "max_relevant_per_iter" option to Sledgehammer | file | diff | annotate |
Wed, 18 Aug 2010 16:33:34 +0200 | blanchet | tuning | file | diff | annotate |
Tue, 17 Aug 2010 14:37:16 +0200 | blanchet | handle E's Skolem constants more gracefully | file | diff | annotate |
Mon, 09 Aug 2010 12:07:59 +0200 | blanchet | remove needless "open" | file | diff | annotate |
Mon, 09 Aug 2010 12:05:48 +0200 | blanchet | move Sledgehammer's HOL -> FOL translation to separate file (sledgehammer_translate.ML) | file | diff | annotate | base |