--- a/src/HOL/IsaMakefile Fri Feb 05 14:33:50 2010 +0100
+++ b/src/HOL/IsaMakefile Mon Feb 08 10:36:02 2010 +0100
@@ -394,7 +394,7 @@
Library/Library/document/root.tex Library/Library/document/root.bib \
Library/Transitive_Closure_Table.thy Library/While_Combinator.thy \
Library/Product_ord.thy Library/Char_nat.thy \
- Library/Char_ord.thy Library/Option_ord.thy \
+ Library/Structure_Syntax.thy \
Library/Sublist_Order.thy Library/List_lexord.thy \
Library/Coinductive_List.thy Library/AssocList.thy \
Library/Formal_Power_Series.thy Library/Binomial.thy \