2014-06-22 sultana 2014-06-22 Metis is being used to emulate E steps;
2014-03-22 wenzelm 2014-03-22 more antiquotations;
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;