src/HOL/ATP_Linkup.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;