| Wed, 23 Mar 2011 20:57:37 +0100 | wenzelm | isolate change of Proofterm.proofs in TPTP.thy from rest of session; | 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 |