1.1 --- a/src/HOL/Library/Library.thy	Wed Jul 04 13:08:44 2012 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Jul 05 13:24:09 2012 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4    Fraction_Field
     1.5    FrechetDeriv
     1.6    FuncSet
     1.7 -  Function_Algebras
     1.8 +  Function_Division
     1.9    Fundamental_Theorem_Algebra
    1.10    Indicator_Function
    1.11    Infinite_Set