--- a/src/HOL/IsaMakefile Mon Jan 26 08:23:55 2009 +0100
+++ b/src/HOL/IsaMakefile Mon Jan 26 22:14:16 2009 +0100
@@ -974,7 +974,7 @@
Word/Size.thy Word/BinGeneral.thy Word/BinOperations.thy \
Word/BinBoolList.thy Word/BitSyntax.thy Word/WordDefinition.thy \
Word/WordArith.thy Word/WordBitwise.thy Word/WordShift.thy \
- Word/WordGenLib.thy Word/WordMain.thy Word/document/root.tex \
+ Word/WordGenLib.thy Word/Word.thy Word/document/root.tex \
Word/document/root.bib
@cd Word; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Word