1.1 --- a/src/HOL/Library/Library.thy Tue Jun 23 05:58:00 2009 +0200
1.2 +++ b/src/HOL/Library/Library.thy Tue Jun 23 10:22:11 2009 +0200
1.3 @@ -25,6 +25,7 @@
1.4 Fin_Fun
1.5 Float
1.6 Formal_Power_Series
1.7 + Fraction_Field
1.8 FrechetDeriv
1.9 FuncSet
1.10 Fundamental_Theorem_Algebra