Inserted Formal_Power_Series.thy under Library
authorchaieb
Thu Jan 29 14:56:28 2009 +0000 (2009-01-29)
changeset 296864cd2874eb5ff
parent 29685 aba49b4fe959
child 29687 4d934a895d11
Inserted Formal_Power_Series.thy under Library
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Thu Jan 29 12:24:00 2009 +0000
     1.2 +++ b/src/HOL/IsaMakefile	Thu Jan 29 14:56:28 2009 +0000
     1.3 @@ -327,7 +327,7 @@
     1.4    Library/Option_ord.thy Library/Sublist_Order.thy			\
     1.5    Library/List_lexord.thy Library/Commutative_Ring.thy			\
     1.6    Library/comm_ring.ML Library/Coinductive_List.thy			\
     1.7 -  Library/AssocList.thy		\
     1.8 +  Library/AssocList.thy	Library/Formal_Power_Series.thy	\
     1.9    Library/Binomial.thy Library/Eval_Witness.thy	\
    1.10    Library/Code_Index.thy Library/Code_Char.thy				\
    1.11    Library/Code_Char_chr.thy Library/Code_Integer.thy			\