src/HOL/TPTP/TPTP_Parser.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-02-23 nipkow 2016-02-23 more canonical names
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-04-17 sultana 2012-04-17 split TPTP_Parser thy -- parser can rely on smaller image, whereas TPTP_Interpret requires HOL;
2012-04-10 sultana 2012-04-10 moved non-interpret-specific code to different module
2012-03-15 wenzelm 2012-03-15 more precise TPTP keywords and dependencies;
2012-03-15 wenzelm 2012-03-15 declare command keywords via theory header, including strict checking outside Pure;
2012-03-09 sultana 2012-03-09 added tptp parser;