src/HOL/TPTP/TPTP_Test.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-03-03 wenzelm 2016-03-03 clarified modules; tuned signature;
2016-02-23 nipkow 2016-02-23 more canonical names
2014-03-27 wenzelm 2014-03-27 clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
2014-02-19 sultana 2014-02-19 made list of test files a parameter to timed_test in TPTP_Test.thy, and updated dependent definitions;
2012-04-23 sultana 2012-04-23 moved function for testing problem-name parsing; list of TPTP test files not immediately evaluated;
2012-04-18 blanchet 2012-04-18 phase out "$TPTP_PROBLEMS_PATH"; prefer "$TPTP" for consistency with CASC setup
2012-04-18 sultana 2012-04-18 more tptp testing support functions;
2012-04-17 sultana 2012-04-17 more cleaning of tptp tests;
2012-04-17 sultana 2012-04-17 reorganised tptp testing thys