--- a/src/HOL/IsaMakefile Fri Feb 15 20:43:44 2002 +0100
+++ b/src/HOL/IsaMakefile Sat Feb 16 20:59:34 2002 +0100
@@ -102,8 +102,7 @@
Transitive_Closure.thy Transitive_Closure.ML Typedef.thy \
Wellfounded_Recursion.ML Wellfounded_Recursion.thy Wellfounded_Relations.ML \
Wellfounded_Relations.thy arith_data.ML blastdata.ML cladata.ML \
- document/root.tex equalities.ML hologic.ML meson_lemmas.ML mono.ML \
- simpdata.ML subset.ML thy_syntax.ML
+ document/root.tex hologic.ML meson_lemmas.ML simpdata.ML thy_syntax.ML
@$(ISATOOL) usedir -b -g true $(OUT)/Pure HOL