src/HOL/IsaMakefile
changeset 5225 092e77b6f7c6
parent 5199 be986f7a6def
child 5250 1bff4b1e5ba9
     1.1 --- a/src/HOL/IsaMakefile	Fri Jul 31 10:50:47 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jul 31 10:52:08 1998 +0200
     1.3 @@ -88,7 +88,7 @@
     1.4  
     1.5  HOL-IMP: HOL $(LOG)/HOL-IMP.gz
     1.6  
     1.7 -$(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.ML IMP/Com.thy IMP/Denotation.ML \
     1.8 +$(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.thy IMP/Denotation.ML \
     1.9    IMP/Denotation.thy IMP/Expr.ML IMP/Expr.thy IMP/Hoare.ML IMP/Hoare.thy \
    1.10    IMP/Natural.ML IMP/Natural.thy IMP/ROOT.ML IMP/Transition.ML \
    1.11    IMP/Transition.thy IMP/VC.ML IMP/VC.thy