src/HOL/Library/Library.thy
changeset 37818 dd65033fed78
parent 37790 7fea92005066
child 38622 86fc906dcd86
     1.1 --- a/src/HOL/Library/Library.thy	Wed Jul 14 12:27:44 2010 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Jul 14 14:16:12 2010 +0200
     1.3 @@ -2,7 +2,6 @@
     1.4  theory Library
     1.5  imports
     1.6    Abstract_Rat
     1.7 -  Adhoc_Overloading
     1.8    AssocList
     1.9    BigO
    1.10    Binomial