equal
deleted
inserted
replaced
1263 |
1263 |
1264 $(OUT)/HOL-Word: $(OUT)/HOL Word/ROOT.ML Library/Boolean_Algebra.thy \ |
1264 $(OUT)/HOL-Word: $(OUT)/HOL Word/ROOT.ML Library/Boolean_Algebra.thy \ |
1265 Library/Numeral_Type.thy Word/Misc_Numeric.thy Word/Misc_Typedef.thy \ |
1265 Library/Numeral_Type.thy Word/Misc_Numeric.thy Word/Misc_Typedef.thy \ |
1266 Word/Type_Length.thy Word/Bit_Representation.thy Word/Bit_Int.thy \ |
1266 Word/Type_Length.thy Word/Bit_Representation.thy Word/Bit_Int.thy \ |
1267 Word/Bool_List_Representation.thy Word/Bit_Operations.thy \ |
1267 Word/Bool_List_Representation.thy Word/Bit_Operations.thy \ |
1268 Word/Word.thy Word/document/root.tex \ |
1268 Word/Word.thy Word/WordBitwise.thy Word/document/root.tex \ |
1269 Word/document/root.bib Word/Tools/smt_word.ML |
1269 Word/document/root.bib Word/Tools/smt_word.ML Word/Tools/word_lib.ML |
1270 @cd Word; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Word |
1270 @cd Word; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Word |
1271 |
1271 |
1272 |
1272 |
1273 ## HOL-Word-Examples |
1273 ## HOL-Word-Examples |
1274 |
1274 |