# HG changeset patch
# User paulson
# Date 1112950202 -7200
# Node ID 196f40d3ffea1d9e79ced37f2c15688b316c548b
# Parent  09a7b8909c4d700dd337e22eb9f06ec9203a7344
temporarily removed ATP code

diff -r 09a7b8909c4d -r 196f40d3ffea src/HOL/Reconstruction.thy
--- a/src/HOL/Reconstruction.thy	Thu Apr 07 18:44:45 2005 +0200
+++ b/src/HOL/Reconstruction.thy	Fri Apr 08 10:50:02 2005 +0200
@@ -14,6 +14,7 @@
 	  "Tools/res_axioms.ML"
 	  "Tools/res_types_sorts.ML"
 
+(*
           "Tools/ATP/recon_prelim.ML"
 	  "Tools/ATP/recon_gandalf_base.ML"
  	  "Tools/ATP/recon_order_clauses.ML"
@@ -26,6 +27,7 @@
 	  "Tools/ATP/watcher.sig"
 	  "Tools/ATP/watcher.ML"
 	  "Tools/res_atp.ML"
+*)
 
           "Tools/reconstruction.ML"