src/HOL/ATP_Linkup.thy
changeset 21977 7f7177a95189
parent 21453 03ca07d478be
child 21999 0cf192e489e2
--- a/src/HOL/ATP_Linkup.thy	Tue Jan 02 22:43:05 2007 +0100
+++ b/src/HOL/ATP_Linkup.thy	Wed Jan 03 10:59:06 2007 +0100
@@ -10,10 +10,10 @@
 imports Map Hilbert_Choice
 uses
   "Tools/polyhash.ML"
-  "Tools/ATP/AtpCommunication.ML"
+  "Tools/res_clause.ML"
+  "Tools/res_reconstruct.ML"
   "Tools/ATP/watcher.ML"
   "Tools/ATP/reduce_axiomsN.ML"
-  "Tools/res_clause.ML"
   ("Tools/res_hol_clause.ML")
   ("Tools/res_axioms.ML")
   ("Tools/res_atp.ML")