src/HOL/ATP_Linkup.thy
2007-12-22 wenzelm 2007-12-22 use random_word.ML earlier;
2007-12-20 wenzelm 2007-12-20 moved Pure/General/random_word.ML to Tools/random_word.ML;
2007-12-19 paulson 2007-12-19 Replaced refs by config params; finer critical section in mets method
2007-12-10 haftmann 2007-12-10 swtiched ATP_Linkup and PreList in theory hierarchy
2007-10-10 paulson 2007-10-10 removed dead code
2007-10-04 paulson 2007-10-04 combinator translation
2007-10-03 wenzelm 2007-10-03 modernized definitions;
2007-09-27 paulson 2007-09-27 removal of some "ref"s from res_axioms.ML; a side-effect is that the ordering theorems of Nat.thy are hidden by the Ordering.thy versions
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;