src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Wed Feb 11 11:22:42 2009 -0800
+++ b/src/HOL/Library/Library.thy	Thu Feb 12 18:14:43 2009 +0100
@@ -23,6 +23,7 @@
   Float
   Formal_Power_Series
   FuncSet
+  Fundamental_Theorem_Algebra
   Infinite_Set
   ListVector
   Mapping