# HG changeset patch
# User haftmann
# Date 1277909204 -7200
# Node ID 14cabf5fa71006f8e959bd5a73e61f85b72638a6
# Parent  df789294c77a31d5c66d0ee14351503271945755
more speaking names

diff -r df789294c77a -r 14cabf5fa710 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Jun 30 16:45:47 2010 +0200
+++ b/src/HOL/IsaMakefile	Wed Jun 30 16:46:44 2010 +0200
@@ -1192,8 +1192,9 @@
 
 $(OUT)/HOL-Word: $(OUT)/HOL Word/ROOT.ML Library/Boolean_Algebra.thy	\
   Library/Numeral_Type.thy Word/Misc_Numeric.thy Word/Misc_Typedef.thy	\
-  Word/Type_Length.thy Word/BinGeneral.thy Word/BinOperations.thy	\
-  Word/BinBoolList.thy Word/Bit_Operations.thy Word/WordDefinition.thy	\
+  Word/Type_Length.thy Word/Bit_Representation.thy Word/Bit_Int.thy	\
+  Word/Bool_List_Representation.thy Word/Bit_Operations.thy		\
+  Word/WordDefinition.thy						\
   Word/WordArith.thy Word/WordBitwise.thy Word/WordShift.thy		\
   Word/WordGenLib.thy Word/Word.thy Word/document/root.tex		\
   Word/document/root.bib Tools/SMT/smt_word.ML