# HG changeset patch
# User chaieb
# Date 1233240989 0
# Node ID 6ed9ac8410d8cb117b11511532603701b368629b
# Parent  4d934a895d1195ab34421676f5ff8ebc40786072
Added Formal_Power_Series in imports

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