equal
deleted
inserted
replaced
972 Library/Boolean_Algebra.thy \ |
972 Library/Boolean_Algebra.thy \ |
973 Library/Numeral_Type.thy Word/Num_Lemmas.thy Word/TdThs.thy \ |
973 Library/Numeral_Type.thy Word/Num_Lemmas.thy Word/TdThs.thy \ |
974 Word/Size.thy Word/BinGeneral.thy Word/BinOperations.thy \ |
974 Word/Size.thy Word/BinGeneral.thy Word/BinOperations.thy \ |
975 Word/BinBoolList.thy Word/BitSyntax.thy Word/WordDefinition.thy \ |
975 Word/BinBoolList.thy Word/BitSyntax.thy Word/WordDefinition.thy \ |
976 Word/WordArith.thy Word/WordBitwise.thy Word/WordShift.thy \ |
976 Word/WordArith.thy Word/WordBitwise.thy Word/WordShift.thy \ |
977 Word/WordGenLib.thy Word/WordMain.thy Word/document/root.tex \ |
977 Word/WordGenLib.thy Word/Word.thy Word/document/root.tex \ |
978 Word/document/root.bib |
978 Word/document/root.bib |
979 @cd Word; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Word |
979 @cd Word; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Word |
980 |
980 |
981 |
981 |
982 ## HOL-Word-Examples |
982 ## HOL-Word-Examples |