
diff -r 4d934a895d11 -r 6ed9ac8410d8 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Thu Jan 29 14:56:29 2009 +0000
+++ b/src/HOL/Library/Library.thy	Thu Jan 29 14:56:29 2009 +0000
@@ -20,6 +20,7 @@
   Eval_Witness
   Executable_Set
   Float
+  Formal_Power_Series
   FuncSet
   Infinite_Set
   ListVector




