--- a/src/HOL/Library/Library.thy Tue Apr 09 14:04:41 2013 +0200 +++ b/src/HOL/Library/Library.thy Tue Apr 09 14:04:47 2013 +0200 @@ -23,7 +23,6 @@ Float Formal_Power_Series Fraction_Field - FrechetDeriv FuncSet Function_Division Function_Growth