src/HOL/Library/TPTP.thy
2011-03-22 blanchet 2011-03-22 added "TPTP" theory with IsabelleP tactic, so that it is maintained alongside with Isabelle and that the CASC version of Isabelle is provided by Isabelle itself instead of being stored on the TPTP servers