--- a/src/HOL/IsaMakefile Mon Mar 28 16:19:56 2005 +0200
+++ b/src/HOL/IsaMakefile Tue Mar 29 12:30:48 2005 +0200
@@ -191,9 +191,8 @@
HOL-Subst: HOL $(LOG)/HOL-Subst.gz
-$(LOG)/HOL-Subst.gz: $(OUT)/HOL Subst/AList.ML Subst/AList.thy \
- Subst/ROOT.ML Subst/Subst.ML Subst/Subst.thy Subst/UTerm.ML \
- Subst/UTerm.thy Subst/Unifier.ML Subst/Unifier.thy Subst/Unify.ML \
+$(LOG)/HOL-Subst.gz: $(OUT)/HOL Subst/AList.thy \
+ Subst/ROOT.ML Subst/Subst.thy Subst/UTerm.thy Subst/Unifier.thy \
Subst/Unify.thy
@$(ISATOOL) usedir $(OUT)/HOL Subst