--- a/src/HOL/IsaMakefile Thu Jun 21 15:42:15 2007 +0200
+++ b/src/HOL/IsaMakefile Thu Jun 21 17:28:50 2007 +0200
@@ -83,13 +83,13 @@
$(SRC)/Provers/quasi.ML $(SRC)/Provers/splitter.ML \
$(SRC)/Provers/trancl.ML $(SRC)/Tools/integer.ML \
$(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML ATP_Linkup.thy \
- Accessible_Part.thy Datatype.thy Dense_Linear_Order.thy Divides.thy \
- Equiv_Relations.thy Extraction.thy Finite_Set.thy FixedPoint.thy \
- Fun.thy FunDef.thy HOL.thy Hilbert_Choice.thy Inductive.thy \
- IntArith.thy IntDef.thy IntDiv.thy Lattices.thy List.thy Main.thy \
- Map.thy Nat.ML Nat.thy NatBin.thy NatSimprocs.thy Numeral.thy \
- OrderedGroup.thy Orderings.thy Power.thy PreList.thy Predicate.thy \
- Presburger.thy Product_Type.thy ROOT.ML Recdef.thy \
+ Accessible_Part.thy Arith_Tools.thy Datatype.thy \
+ Dense_Linear_Order.thy Divides.thy Equiv_Relations.thy Extraction.thy \
+ Finite_Set.thy FixedPoint.thy Fun.thy FunDef.thy HOL.thy \
+ Hilbert_Choice.thy Inductive.thy IntArith.thy IntDef.thy IntDiv.thy \
+ Lattices.thy List.thy Main.thy Map.thy Nat.ML Nat.thy NatBin.thy \
+ Numeral.thy OrderedGroup.thy Orderings.thy Power.thy PreList.thy \
+ Predicate.thy Product_Type.thy ROOT.ML Recdef.thy \
Record.thy Refute.thy Relation.thy Relation_Power.thy \
Ring_and_Field.thy SAT.thy Set.thy SetInterval.thy Sum_Type.thy \
Tools/ATP/reduce_axiomsN.ML Tools/ATP/watcher.ML \