src/HOL/Reconstruction.thy
changeset 15645 5e20c54683d3
parent 15382 e56ce5cefe9c
child 15653 3549ff7158f3
--- a/src/HOL/Reconstruction.thy	Thu Mar 31 20:12:54 2005 +0200
+++ b/src/HOL/Reconstruction.thy	Fri Apr 01 11:12:39 2005 +0200
@@ -13,7 +13,6 @@
 	  "Tools/res_skolem_function.ML"
 	  "Tools/res_axioms.ML"
 	  "Tools/res_types_sorts.ML"
-	  "Tools/res_atp.ML"
           "Tools/reconstruction.ML"
 
 begin