src/HOL/IsaMakefile
changeset 29805 a5da150bd0ab
parent 29804 e15b74577368
child 29809 df25a6b1a475
     1.1 --- a/src/HOL/IsaMakefile	Thu Feb 05 11:45:15 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Feb 05 11:49:15 2009 +0100
     1.3 @@ -684,6 +684,7 @@
     1.4  HOL-Reflection: HOL $(LOG)/HOL-Reflection.gz
     1.5  
     1.6  $(LOG)/HOL-Reflection.gz: $(OUT)/HOL \
     1.7 +  Reflection/Approximation.thy \
     1.8    Reflection/Cooper.thy \
     1.9    Reflection/cooper_tac.ML \
    1.10    Reflection/Ferrack.thy \
    1.11 @@ -836,7 +837,8 @@
    1.12    ex/svc_funcs.ML ex/svc_test.thy	\
    1.13    ex/ImperativeQuicksort.thy	\
    1.14    ex/Arithmetic_Series_Complex.thy ex/HarmonicSeries.thy	\
    1.15 -  ex/Sqrt.thy ex/Sqrt_Script.thy
    1.16 +  ex/Sqrt.thy ex/Sqrt_Script.thy \
    1.17 +  ex/ApproximationEx.thy
    1.18  	@$(ISABELLE_TOOL) usedir $(OUT)/HOL ex
    1.19  
    1.20