diff -r 1226d861eefb -r cf071f3fc4ae src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue May 15 18:20:07 2007 +0200
+++ b/src/HOL/IsaMakefile	Tue May 15 18:28:02 2007 +0200
@@ -196,6 +196,7 @@
 $(LOG)/HOL-Library.gz: $(OUT)/HOL \
   Library/SetsAndFunctions.thy Library/BigO.thy Library/Ramsey.thy \
   Library/EfficientNat.thy Library/ExecutableSet.thy Library/ExecutableRat.thy \
+  Library/Executable_Real.thy \
   Library/MLString.thy Library/Infinite_Set.thy \
   Library/FuncSet.thy Library/Library.thy \
   Library/List_Prefix.thy Library/State_Monad.thy Library/Multiset.thy Library/NatPair.thy \