tuned deps;
authorwenzelm
Thu Aug 08 23:46:51 2002 +0200 (2002-08-08)
changeset 13481796a5b766c2e
parent 13480 bb72bd43c6c3
child 13482 2bb7200a99cf
tuned deps;
src/HOL/IsaMakefile
     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