src/HOL/IsaMakefile
changeset 7395 66a3d3bb28e4
parent 7393 c6ce498b4767
child 7400 fbd5582761e6
     1.1 --- a/src/HOL/IsaMakefile	Mon Aug 30 17:26:43 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Aug 30 20:29:28 1999 +0200
     1.3 @@ -85,6 +85,7 @@
     1.4    Real/Hyperreal/Zorn.ML Real/Hyperreal/Zorn.thy
     1.5  	@cd Real; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Real
     1.6  
     1.7 +
     1.8  ## HOL-Real-ex
     1.9  
    1.10  HOL-Real-ex: HOL-Real $(LOG)/HOL-Real-ex.gz
    1.11 @@ -92,6 +93,7 @@
    1.12  $(LOG)/HOL-Real-ex.gz: $(OUT)/HOL-Real Real/ex/ROOT.ML Real/ex/BinEx.ML
    1.13  	@cd Real; $(ISATOOL) usedir $(OUT)/HOL-Real ex
    1.14  
    1.15 +
    1.16  ## HOL-Subst
    1.17  
    1.18  HOL-Subst: HOL $(LOG)/HOL-Subst.gz
    1.19 @@ -401,4 +403,4 @@
    1.20  	  $(LOG)/HOL-AxClasses-Tutorial.gz $(LOG)/HOL-Quot.gz \
    1.21  	  $(LOG)/HOL-ex.gz $(LOG)/HOL-Isar_examples.gz $(OUT)/TLA \
    1.22  	  $(LOG)/TLA.gz $(LOG)/TLA-Inc.gz $(LOG)/TLA-Buffer.gz \
    1.23 -	  $(LOG)/TLA-Memory.gz
    1.24 +	  $(LOG)/TLA-Memory.gz $(LOG)/HOL-Real-ex.gz