src/HOL/IsaMakefile
changeset 13034 d7bb6e4f5f82
parent 13029 84e4ba7fb033
child 13059 d78d2089e163
     1.1 --- a/src/HOL/IsaMakefile	Wed Mar 06 17:55:10 2002 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Mar 06 17:56:02 2002 +0100
     1.3 @@ -182,9 +182,9 @@
     1.4  
     1.5  HOL-Hyperreal-ex: HOL-Hyperreal $(LOG)/HOL-Hyperreal-ex.gz
     1.6  
     1.7 -$(LOG)/HOL-Hyperreal-ex.gz: $(OUT)/HOL-Hyperreal Hyperreal/ex/ROOT.ML \
     1.8 -  Hyperreal/ex/document/root.tex Hyperreal/ex/Sqrt.thy \
     1.9 -  Hyperreal/ex/Sqrt_Script.thy
    1.10 +$(LOG)/HOL-Hyperreal-ex.gz: $(OUT)/HOL-Hyperreal Library/Primes.thy \
    1.11 +  Hyperreal/ex/ROOT.ML Hyperreal/ex/document/root.tex \
    1.12 +  Hyperreal/ex/Sqrt.thy Hyperreal/ex/Sqrt_Script.thy
    1.13  	@cd Hyperreal; $(ISATOOL) usedir $(OUT)/HOL-Hyperreal ex
    1.14  
    1.15