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