src/HOL/TPTP/TPTP_Proof_Reconstruction_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-02-23 nipkow 2016-02-23 more canonical names
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2015-08-13 wenzelm 2015-08-13 more standard options; refrain from accessing PolyML internals;
2015-08-13 wenzelm 2015-08-13 prefer official @{make_string};
2015-07-05 wenzelm 2015-07-05 more explicit use of context and elimination of Thm.theory_of_thm, although unclear (and untested?) situations remain;
2015-03-16 wenzelm 2015-03-16 proper headers;
2014-09-21 wenzelm 2014-09-21 more standard Isabelle/ML operations;
2014-09-21 wenzelm 2014-09-21 tuned;
2014-06-22 sultana 2014-06-22 updated application of print_tac to take context parameter;
2014-04-08 wenzelm 2014-04-08 more uniform ML/document antiquotations;
2014-03-26 wenzelm 2014-03-26 tuned;
2014-03-25 wenzelm 2014-03-25 proper configuration option "ML_print_depth"; proper ML_exception_trace for HOL-TPTP;
2014-03-24 wenzelm 2014-03-24 discontinued Toplevel.debug in favour of system option "exception_trace";
2014-02-19 sultana 2014-02-19 added a function that carries out all the reconstruction steps, for improved usability; added documentation;
2014-02-19 sultana 2014-02-19 reconstruction framework for LEO-II's TPTP proofs;