src/HOL/IsaMakefile
changeset 25298 63f6d969253e
parent 25173 7e1f197a36c5
child 25314 5eaf3e8b50a4
equal deleted inserted replaced
25297:a5d689d04426 25298:63f6d969253e
   831   Word/WordArith.thy \
   831   Word/WordArith.thy \
   832   Word/WordBitwise.thy \
   832   Word/WordBitwise.thy \
   833   Word/WordShift.thy \
   833   Word/WordShift.thy \
   834   Word/WordGenLib.thy \
   834   Word/WordGenLib.thy \
   835   Word/WordMain.thy \
   835   Word/WordMain.thy \
   836   Word/document/root.tex
   836   Word/document/root.tex Word/document/root.bib
   837 	@cd Word; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Word
   837 	@cd Word; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Word
   838 
   838 
   839 
   839 
   840 ## HOL-Word-Examples
   840 ## HOL-Word-Examples
   841 
   841