--- a/src/HOL/IsaMakefile Mon Dec 28 17:03:47 1998 +0100
+++ b/src/HOL/IsaMakefile Mon Jan 04 15:07:47 1999 +0100
@@ -55,7 +55,7 @@
Tools/inductive_package.ML Tools/primrec_package.ML \
Tools/record_package.ML Tools/typedef_package.ML Trancl.ML \
Trancl.thy Univ.ML Univ.thy Vimage.ML Vimage.thy WF.ML WF.thy \
- WF_Rel.ML WF_Rel.thy arith_data.ML cladata.ML equalities.ML \
+ WF_Rel.ML WF_Rel.thy cladata.ML equalities.ML \
equalities.thy hologic.ML mono.ML mono.thy simpdata.ML subset.ML \
subset.thy thy_syntax.ML
@$(ISATOOL) usedir -b $(OUT)/Pure HOL