src/HOL/TPTP/ATP_Theory_Export.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2015-10-05 blanchet 2015-10-05 extended theory exporter to also export MePo-selected facts
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-04-09 blanchet 2013-04-09 reverted accidental changes to theory file + updated wrt ML file
2013-04-09 blanchet 2013-04-09 work on CASC LTB ISA exporter
2013-04-09 blanchet 2013-04-09 tuning
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-07-20 blanchet 2012-07-20 tuning
2012-07-18 blanchet 2012-07-18 more implementation work on MaSh
2012-07-18 blanchet 2012-07-18 started implementing MaSh client-side I/O
2012-07-10 blanchet 2012-07-10 generate Meng--Paulson facts for evaluation purposes
2012-07-10 blanchet 2012-07-10 instantiate induction rules
2012-07-10 blanchet 2012-07-10 moved MaSh into own files
2012-07-10 blanchet 2012-07-10 generate lambdas and skolems again
2012-07-10 blanchet 2012-07-10 generate theory name as a feature
2012-07-09 blanchet 2012-07-09 compile
2012-07-09 blanchet 2012-07-09 cleanup
2012-07-09 blanchet 2012-07-09 more precise dependencies -- eliminate tautologies
2012-07-09 blanchet 2012-07-09 generate problem file
2012-07-09 blanchet 2012-07-09 first go at generating files for MaSh (machine-learning Sledgehammer)
2012-06-26 blanchet 2012-06-26 compile
2012-06-26 blanchet 2012-06-26 more work on DFG type classes
2012-06-26 blanchet 2012-06-26 removed support for unsorted DFG, now that SPASS 3.7 is no longer supported
2012-02-06 blanchet 2012-02-06 renamed type encoding
2012-01-23 blanchet 2012-01-23 renamed theory exporter