Sat, 16 Apr 2011 16:15:37 +0200 | wenzelm | modernized structure Proof_Context; | file | diff | annotate |
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 |