diff -r f23722b4fbe7 -r 880794f48ce6 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Jul 27 18:27:09 2000 +0200
+++ b/src/HOL/IsaMakefile	Thu Jul 27 18:27:25 2000 +0200
@@ -66,9 +66,9 @@
   Tools/primrec_package.ML Tools/recdef_package.ML			\
   Tools/record_package.ML Tools/svc_funcs.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 blastdata.ML cladata.ML	\
-  equalities.ML equalities.thy hologic.ML mono.ML mono.thy simpdata.ML	\
-  subset.ML subset.thy thy_syntax.ML
+  WF.thy WF_Rel.ML WF_Rel.thy While.ML While.thy arith_data.ML blastdata.ML \
+  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