src/HOL/IsaMakefile
changeset 37659 14cabf5fa710
parent 37655 f4d616d41a59
child 37660 56e3520b68b2
     1.1 --- a/src/HOL/IsaMakefile	Wed Jun 30 16:45:47 2010 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Jun 30 16:46:44 2010 +0200
     1.3 @@ -1192,8 +1192,9 @@
     1.4  
     1.5  $(OUT)/HOL-Word: $(OUT)/HOL Word/ROOT.ML Library/Boolean_Algebra.thy	\
     1.6    Library/Numeral_Type.thy Word/Misc_Numeric.thy Word/Misc_Typedef.thy	\
     1.7 -  Word/Type_Length.thy Word/BinGeneral.thy Word/BinOperations.thy	\
     1.8 -  Word/BinBoolList.thy Word/Bit_Operations.thy Word/WordDefinition.thy	\
     1.9 +  Word/Type_Length.thy Word/Bit_Representation.thy Word/Bit_Int.thy	\
    1.10 +  Word/Bool_List_Representation.thy Word/Bit_Operations.thy		\
    1.11 +  Word/WordDefinition.thy						\
    1.12    Word/WordArith.thy Word/WordBitwise.thy Word/WordShift.thy		\
    1.13    Word/WordGenLib.thy Word/Word.thy Word/document/root.tex		\
    1.14    Word/document/root.bib Tools/SMT/smt_word.ML