src/HOL/Library/Library.thy
changeset 24197 c9e3cb5e5681
parent 23854 688a8a7bcd4e
child 24281 7d0334b69711
     1.1 --- a/src/HOL/Library/Library.thy	Thu Aug 09 15:52:47 2007 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Aug 09 15:52:49 2007 +0200
     1.3 @@ -2,6 +2,7 @@
     1.4  (*<*)
     1.5  theory Library
     1.6  imports
     1.7 +  Abstract_Rat
     1.8    AssocList
     1.9    BigO
    1.10    Binomial