src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Tue May 09 10:11:47 2006 +0200
+++ b/src/HOL/Library/Library.thy	Tue May 09 10:13:09 2006 +0200
@@ -5,6 +5,7 @@
   Continuity
   EfficientNat
   ExecutableSet
+  ExecutableRat
   FuncSet
   Multiset
   NatPair