--- 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 \