src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Tue May 15 18:20:07 2007 +0200
+++ b/src/HOL/Library/Library.thy	Tue May 15 18:28:02 2007 +0200
@@ -12,6 +12,7 @@
   EfficientNat
   Eval
   ExecutableRat
+  Executable_Real
   ExecutableSet
   FuncSet
   GCD