src/HOL/IsaMakefile
changeset 15635 8408a06590a6
parent 15622 4723248c982b
child 15647 b1f486a9c56b
     1.1 --- a/src/HOL/IsaMakefile	Mon Mar 28 16:19:56 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Mar 29 12:30:48 2005 +0200
     1.3 @@ -191,9 +191,8 @@
     1.4  
     1.5  HOL-Subst: HOL $(LOG)/HOL-Subst.gz
     1.6  
     1.7 -$(LOG)/HOL-Subst.gz: $(OUT)/HOL Subst/AList.ML Subst/AList.thy \
     1.8 -  Subst/ROOT.ML Subst/Subst.ML Subst/Subst.thy Subst/UTerm.ML \
     1.9 -  Subst/UTerm.thy Subst/Unifier.ML Subst/Unifier.thy Subst/Unify.ML \
    1.10 +$(LOG)/HOL-Subst.gz: $(OUT)/HOL Subst/AList.thy \
    1.11 +  Subst/ROOT.ML Subst/Subst.thy Subst/UTerm.thy Subst/Unifier.thy \
    1.12    Subst/Unify.thy
    1.13  	@$(ISATOOL) usedir $(OUT)/HOL Subst
    1.14