src/HOL/IsaMakefile
changeset 13481 796a5b766c2e
parent 13469 70d8dfef587d
child 13508 890d736b93a5
     1.1 --- a/src/HOL/IsaMakefile	Thu Aug 08 23:46:09 2002 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Aug 08 23:46:51 2002 +0200
     1.3 @@ -611,7 +611,7 @@
     1.4    Isar_examples/Puzzle.thy Isar_examples/Summation.thy \
     1.5    Isar_examples/ROOT.ML Isar_examples/document/proof.sty \
     1.6    Isar_examples/document/root.bib Isar_examples/document/root.tex \
     1.7 -  Isar_examples/document/style.tex
     1.8 +  Isar_examples/document/style.tex Hoare/Hoare.ML
     1.9  	@$(ISATOOL) usedir $(OUT)/HOL Isar_examples
    1.10  
    1.11