src/HOL/TPTP/TPTP_Proof_Reconstruction_Test_Units.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
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-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 reconstruction framework for LEO-II's TPTP proofs;