--- a/src/HOL/Library/Library.thy Fri Sep 27 14:43:26 2013 +0200 +++ b/src/HOL/Library/Library.thy Fri Sep 27 14:43:26 2013 +0200 @@ -23,6 +23,7 @@ Float Formal_Power_Series Fraction_Field + FSet FuncSet Function_Division Function_Growth