src/HOL/IsaMakefile
changeset 13703 a36a0d417133
parent 13697 e4db4f06cec1
child 13706 9d84cfc77ace
     1.1 --- a/src/HOL/IsaMakefile	Fri Nov 08 10:34:40 2002 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Sat Nov 09 00:12:25 2002 +0100
     1.3 @@ -627,7 +627,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 Hoare/Hoare.ML
     1.8 +  Isar_examples/document/style.tex Hoare/hoare.ML
     1.9  	@$(ISATOOL) usedir $(OUT)/HOL Isar_examples
    1.10  
    1.11