src/HOL/ATP_Linkup.thy
2007-08-18 wenzelm 2007-08-18 renamed ResAtpMethods.setup;
2007-08-15 paulson 2007-08-15 combining the relevance filter with res_atp
2007-08-07 haftmann 2007-08-07 changed import order
2007-07-20 haftmann 2007-07-20 simplified HOL bootstrap
2007-06-29 paulson 2007-06-29 bug fixes to proof reconstruction
2007-06-20 wenzelm 2007-06-20 added Metis setup (from Metis.thy);
2007-01-04 paulson 2007-01-04 improvements to proof reconstruction. Some files loaded in a different order
2007-01-03 paulson 2007-01-03 first version of structured proof reconstruction
2006-11-22 haftmann 2006-11-22 removed Extraction dependency
2006-11-08 wenzelm 2006-11-08 incorporated former theories Reconstruction and ResAtpMethods into ATP_Linkup;