src/HOL/IsaMakefile
changeset 7629 68e155f81f88
parent 7627 6b0709a2f6c7
child 7699 09d8fd81cc1f
     1.1 --- a/src/HOL/IsaMakefile	Tue Sep 28 16:44:22 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Sep 28 22:17:05 1999 +0200
     1.3 @@ -268,9 +268,10 @@
     1.4    MiniML/ROOT.ML MiniML/Type.ML MiniML/Type.thy MiniML/W.ML MiniML/W.thy
     1.5  	@$(ISATOOL) usedir $(OUT)/HOL MiniML
     1.6  
     1.7 +
     1.8  ## HOL-BCV
     1.9  
    1.10 -HOL-BCV:HOL $(LOG)/HOL-BCV.gz
    1.11 +HOL-BCV: HOL $(LOG)/HOL-BCV.gz
    1.12  
    1.13  $(LOG)/HOL-BCV.gz: $(OUT)/HOL BCV/DFAandWTI.ML \
    1.14    BCV/DFAandWTI.thy BCV/DFAimpl.ML BCV/DFAimpl.thy \
    1.15 @@ -433,5 +434,5 @@
    1.16  	  $(LOG)/HOL-AxClasses-Tutorial.gz $(LOG)/HOL-Quot.gz \
    1.17  	  $(LOG)/HOL-ex.gz $(LOG)/HOL-Isar_examples.gz $(OUT)/TLA \
    1.18  	  $(LOG)/TLA.gz $(LOG)/TLA-Inc.gz $(LOG)/TLA-Buffer.gz \
    1.19 -	  $(LOG)/TLA-Memory.gz $(LOG)/HOL-Real-ex.gz \
    1.20 +	  $(LOG)/TLA-Memory.gz $(LOG)/HOL-Real.gz $(LOG)/HOL-Real-ex.gz \
    1.21  	  $(LOG)/HOL-Real-HahnBanach.gz