src/HOL/IsaMakefile
changeset 37659 14cabf5fa710
parent 37655 f4d616d41a59
child 37660 56e3520b68b2
equal deleted inserted replaced
37658:df789294c77a 37659:14cabf5fa710
  1190 
  1190 
  1191 HOL-Word: HOL $(OUT)/HOL-Word
  1191 HOL-Word: HOL $(OUT)/HOL-Word
  1192 
  1192 
  1193 $(OUT)/HOL-Word: $(OUT)/HOL Word/ROOT.ML Library/Boolean_Algebra.thy	\
  1193 $(OUT)/HOL-Word: $(OUT)/HOL Word/ROOT.ML Library/Boolean_Algebra.thy	\
  1194   Library/Numeral_Type.thy Word/Misc_Numeric.thy Word/Misc_Typedef.thy	\
  1194   Library/Numeral_Type.thy Word/Misc_Numeric.thy Word/Misc_Typedef.thy	\
  1195   Word/Type_Length.thy Word/BinGeneral.thy Word/BinOperations.thy	\
  1195   Word/Type_Length.thy Word/Bit_Representation.thy Word/Bit_Int.thy	\
  1196   Word/BinBoolList.thy Word/Bit_Operations.thy Word/WordDefinition.thy	\
  1196   Word/Bool_List_Representation.thy Word/Bit_Operations.thy		\
       
  1197   Word/WordDefinition.thy						\
  1197   Word/WordArith.thy Word/WordBitwise.thy Word/WordShift.thy		\
  1198   Word/WordArith.thy Word/WordBitwise.thy Word/WordShift.thy		\
  1198   Word/WordGenLib.thy Word/Word.thy Word/document/root.tex		\
  1199   Word/WordGenLib.thy Word/Word.thy Word/document/root.tex		\
  1199   Word/document/root.bib Tools/SMT/smt_word.ML
  1200   Word/document/root.bib Tools/SMT/smt_word.ML
  1200 	@cd Word; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Word
  1201 	@cd Word; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Word
  1201 
  1202