src/HOL/Library/Library.thy
changeset 27652 818666de6c24
parent 27475 61b979a2c820
child 28098 c92850d2d16c
--- a/src/HOL/Library/Library.thy	Fri Jul 18 18:25:53 2008 +0200
+++ b/src/HOL/Library/Library.thy	Fri Jul 18 18:25:56 2008 +0200
@@ -2,6 +2,7 @@
 (*<*)
 theory Library
 imports
+  Abstract_Rat
   AssocList
   BigO
   Binomial