src/HOL/TPTP/TPTP_Interpret_Test.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-03-05 wenzelm 2016-03-05 tuned signature -- clarified modules;
2016-03-03 wenzelm 2016-03-03 clarified modules; tuned signature;
2016-02-23 nipkow 2016-02-23 more canonical names
2014-09-21 wenzelm 2014-09-21 more standard Isabelle/ML operations;
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-08-16 blanchet 2012-08-16 look in current directory first before looking up includes in the TPTP directory, as required by Geoff
2012-04-23 sultana 2012-04-23 updated test;
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 fixed type interpretation; output now excludes parsed term; tuned;
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 improved tptp interpretation test thy
2012-04-17 sultana 2012-04-17 reorganised tptp testing thys