--- a/src/HOL/IsaMakefile Wed Apr 18 23:57:44 2012 +0200
+++ b/src/HOL/IsaMakefile Tue Apr 17 16:21:47 2012 +1000
@@ -1265,8 +1265,8 @@
Library/Numeral_Type.thy Word/Misc_Numeric.thy Word/Misc_Typedef.thy \
Word/Type_Length.thy Word/Bit_Representation.thy Word/Bit_Int.thy \
Word/Bool_List_Representation.thy Word/Bit_Operations.thy \
- Word/Word.thy Word/document/root.tex \
- Word/document/root.bib Word/Tools/smt_word.ML
+ Word/Word.thy Word/WordBitwise.thy Word/document/root.tex \
+ Word/document/root.bib Word/Tools/smt_word.ML Word/Tools/word_lib.ML
@cd Word; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Word