# HG changeset patch
# User chaieb
# Date 1233240988 0
# Node ID 4cd2874eb5ffafd04c2c64867a302f7550e54713
# Parent  aba49b4fe95974900e6fb5294a4aeb5852a17c2d
Inserted Formal_Power_Series.thy under Library

diff -r aba49b4fe959 -r 4cd2874eb5ff src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Jan 29 12:24:00 2009 +0000
+++ b/src/HOL/IsaMakefile	Thu Jan 29 14:56:28 2009 +0000
@@ -327,7 +327,7 @@
   Library/Option_ord.thy Library/Sublist_Order.thy			\
   Library/List_lexord.thy Library/Commutative_Ring.thy			\
   Library/comm_ring.ML Library/Coinductive_List.thy			\
-  Library/AssocList.thy		\
+  Library/AssocList.thy	Library/Formal_Power_Series.thy	\
   Library/Binomial.thy Library/Eval_Witness.thy	\
   Library/Code_Index.thy Library/Code_Char.thy				\
   Library/Code_Char_chr.thy Library/Code_Integer.thy			\