src/HOL/TPTP/TPTP_Proof_Reconstruction.thy
2014-03-21 wenzelm 2014-03-21 more qualified names;
2014-03-19 wenzelm 2014-03-19 more explicit Long_Name operations (NB: analyzing qualifiers is inherently fragile);
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;