src/HOL/TPTP/TPTP_Interpret.thy
2016-02-23 nipkow 2016-02-23 more canonical names
2014-08-07 blanchet 2014-08-07 took out test driver
2014-08-07 blanchet 2014-08-07 test driver
2014-08-05 blanchet 2014-08-05 correctly interpret arithmetic types
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-04-17 sultana 2012-04-17 simplified interpretation of '$i';
2012-04-17 sultana 2012-04-17 split TPTP_Parser thy -- parser can rely on smaller image, whereas TPTP_Interpret requires HOL;