diff -r 01c2744a3786 -r 77349ed89f45 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Oct 12 18:44:35 2000 +0200
+++ b/src/HOL/IsaMakefile	Fri Oct 13 08:28:21 2000 +0200
@@ -69,7 +69,7 @@
   $(SRC)/Provers/splitter.ML $(SRC)/TFL/dcterm.sml $(SRC)/TFL/post.sml \
   $(SRC)/TFL/rules.sml $(SRC)/TFL/tfl.sml $(SRC)/TFL/thms.sml \
   $(SRC)/TFL/thry.sml $(SRC)/TFL/usyntax.sml $(SRC)/TFL/utils.sml \
-  Arithmetic.ML Arithmetic.thy Calculation.thy Datatype.thy Divides.ML \
+  NatArith.ML NatArith.thy Calculation.thy Datatype.thy Divides.ML \
   Divides.thy Finite.ML Finite.thy Fun.ML Fun.thy Gfp.ML Gfp.thy \
   HOL.ML HOL.thy HOL_lemmas.ML Inductive.thy Integ/Bin.ML \
   Integ/Bin.thy Integ/Equiv.ML Integ/Equiv.thy Integ/IntArith.ML \