src/HOL/TPTP/TPTP_Test.thy
Mon, 23 Apr 2012 12:23:23 +0100 sultana moved function for testing problem-name parsing;
Wed, 18 Apr 2012 22:39:35 +0200 blanchet phase out "$TPTP_PROBLEMS_PATH"; prefer "$TPTP" for consistency with CASC setup
Wed, 18 Apr 2012 17:33:11 +0100 sultana more tptp testing support functions;
less more (0) -3 tip