| Thu, 24 Mar 2011 17:49:27 +0100 | blanchet | specify proper defaults for Nitpick and Refute on TPTP + tuning | file | diff | annotate |
| Wed, 23 Mar 2011 10:06:27 +0100 | blanchet | move "TPTP" wrapper and "Sledgehammer as a tactic" to "HOL/ex" | file | diff | annotate | base |