src/HOL/Library/Library.thy
changeset 54220 0e6645622f22
parent 54219 63fe59f64578
child 54545 483131676087
     1.1 --- a/src/HOL/Library/Library.thy	Thu Oct 31 11:44:20 2013 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Oct 31 11:44:20 2013 +0100
     1.3 @@ -1,7 +1,6 @@
     1.4  (*<*)
     1.5  theory Library
     1.6  imports
     1.7 -  Abstract_Rat
     1.8    AList
     1.9    BigO
    1.10    Binomial