--- a/src/HOL/IsaMakefile Wed Nov 08 21:45:14 2006 +0100
+++ b/src/HOL/IsaMakefile Wed Nov 08 21:45:15 2006 +0100
@@ -97,7 +97,7 @@
Lattices.thy List.ML List.thy Main.thy Map.thy \
Nat.ML Nat.thy OrderedGroup.ML OrderedGroup.thy \
Orderings.ML Orderings.thy Power.thy PreList.thy Product_Type.thy \
- ROOT.ML Recdef.thy Reconstruction.thy Record.thy Refute.thy \
+ ROOT.ML Recdef.thy Record.thy Refute.thy \
Relation.ML Relation.thy Relation_Power.thy Ring_and_Field.thy SAT.thy Set.ML \
Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/AtpCommunication.ML \
Tools/ATP/reduce_axiomsN.ML Tools/ATP/watcher.ML \
@@ -120,7 +120,7 @@
Transitive_Closure.ML Transitive_Closure.thy \
Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy \
arith_data.ML \
- document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy \
+ document/root.tex hologic.ML simpdata.ML ATP_Linkup.thy \
Tools/res_atp_provers.ML Tools/res_atp_methods.ML \
Tools/res_hol_clause.ML \
Tools/function_package/sum_tools.ML \