src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Mon May 11 11:53:21 2009 +0200
+++ b/src/HOL/IsaMakefile	Mon May 11 15:18:32 2009 +0200
@@ -295,8 +295,6 @@
   Real.thy \
   RealVector.thy \
   Tools/float_syntax.ML \
-  Tools/rat_arith.ML \
-  Tools/real_arith.ML \
   Tools/Qelim/ferrante_rackoff_data.ML \
   Tools/Qelim/ferrante_rackoff.ML \
   Tools/Qelim/langford_data.ML \
@@ -1051,7 +1049,6 @@
   NSA/HyperDef.thy \
   NSA/HyperNat.thy \
   NSA/Hyperreal.thy \
-  NSA/hypreal_arith.ML \
   NSA/Filter.thy \
   NSA/NatStar.thy \
   NSA/NSA.thy \