--- a/src/HOL/IsaMakefile Thu Feb 05 11:45:15 2009 +0100
+++ b/src/HOL/IsaMakefile Thu Feb 05 11:49:15 2009 +0100
@@ -684,6 +684,7 @@
HOL-Reflection: HOL $(LOG)/HOL-Reflection.gz
$(LOG)/HOL-Reflection.gz: $(OUT)/HOL \
+ Reflection/Approximation.thy \
Reflection/Cooper.thy \
Reflection/cooper_tac.ML \
Reflection/Ferrack.thy \
@@ -836,7 +837,8 @@
ex/svc_funcs.ML ex/svc_test.thy \
ex/ImperativeQuicksort.thy \
ex/Arithmetic_Series_Complex.thy ex/HarmonicSeries.thy \
- ex/Sqrt.thy ex/Sqrt_Script.thy
+ ex/Sqrt.thy ex/Sqrt_Script.thy \
+ ex/ApproximationEx.thy
@$(ISABELLE_TOOL) usedir $(OUT)/HOL ex