# HG changeset patch
# User paulson
# Date 1112346759 -7200
# Node ID 5e20c54683d3e41ffca83ca84cdbf31445893e95
# Parent  f2ef8c258fa4af410620c45df49005b4b59fb2ee
patch to get it working again

diff -r f2ef8c258fa4 -r 5e20c54683d3 src/HOL/Reconstruction.thy
--- 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