src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML
2012-04-24 sultana 2012-04-24 tuned;
2012-04-23 sultana 2012-04-23 improved non-interpretation of constants and numbers; improved interpretation of terms and formulas; tuned;
2012-04-23 sultana 2012-04-23 improved interpreting conditionals; tuned;
2012-04-23 sultana 2012-04-23 disabled interpreting arithmetic;
2012-04-23 sultana 2012-04-23 disabled exception packaging in tptp;
2012-04-23 sultana 2012-04-23 removed redundant function;
2012-04-20 wenzelm 2012-04-20 more standard Theory_Data setup; keep meta-comments within the history;
2012-04-19 sultana 2012-04-19 improved threading of thy-values through interpret functions;
2012-04-19 sultana 2012-04-19 exceptions related to interpreting tptp problems now mention the relevant position in the tptp file;
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-17 sultana 2012-04-17 improved exception-handling in tptp; tuned;
2012-04-17 sultana 2012-04-17 simplified interpretation of '$i';
2012-04-17 sultana 2012-04-17 tuned comments
2012-04-17 sultana 2012-04-17 improved handling of quoted names in tptp import
2012-04-17 sultana 2012-04-17 improved naming of 'distinct objects' in tptp import
2012-04-17 sultana 2012-04-17 enforced 'include' restrictions
2012-04-17 sultana 2012-04-17 tuned
2012-04-10 sultana 2012-04-10 moved non-interpret-specific code to different module
2012-04-04 sultana 2012-04-04 improved import_tptp to use standard TPTP directory structure; extended the TPTP testing theory to include an example of using the import_tptp command;
2012-04-04 sultana 2012-04-04 tuned;
2012-04-04 sultana 2012-04-04 added interpretation for formula conditional;
2012-04-04 sultana 2012-04-04 dealing with SMLNJ errors 'value type in structure doesn't match signature spec' (which originated from lack of type generalisation) and 'unresolved flex record' wrt tptp_interpret
2012-03-16 wenzelm 2012-03-16 outer syntax command definitions based on formal command_spec derived from theory header declarations;
2012-03-15 wenzelm 2012-03-15 more precise TPTP keywords and dependencies;
2012-03-12 wenzelm 2012-03-12 tuned headers;
2012-03-09 sultana 2012-03-09 added tptp parser;