1.1 --- a/src/HOL/IsaMakefile	Sat Mar 06 11:21:09 2010 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Sat Mar 06 15:31:30 2010 +0100
     1.3 @@ -401,7 +401,7 @@
     1.4    Library/Ramsey.thy Library/Zorn.thy Library/Library/ROOT.ML		\
     1.5    Library/Library/document/root.tex Library/Library/document/root.bib	\
     1.6    Library/Transitive_Closure_Table.thy Library/While_Combinator.thy	\
     1.7 -  Library/Product_ord.thy Library/Char_nat.thy				\
     1.8 +  Library/Product_ord.thy Library/Char_nat.thy Library/Table.thy	\
     1.9    Library/Sublist_Order.thy Library/List_lexord.thy			\
    1.10    Library/Coinductive_List.thy Library/AssocList.thy			\
    1.11    Library/Formal_Power_Series.thy Library/Binomial.thy			\