src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Thu Aug 09 15:52:47 2007 +0200
+++ b/src/HOL/Library/Library.thy	Thu Aug 09 15:52:49 2007 +0200
@@ -2,6 +2,7 @@
 (*<*)
 theory Library
 imports
+  Abstract_Rat
   AssocList
   BigO
   Binomial