src/HOL/Library/Library.thy
changeset 37789 93f6dcf9ec02
parent 37693 b10444eb9c98
child 37790 7fea92005066
     1.1 --- a/src/HOL/Library/Library.thy	Tue Jul 13 11:38:04 2010 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Jul 13 00:15:37 2010 +0200
     1.3 @@ -2,6 +2,7 @@
     1.4  theory Library
     1.5  imports
     1.6    Abstract_Rat
     1.7 +  Adhoc_Overloading
     1.8    AssocList
     1.9    BigO
    1.10    Binomial