# 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 \