fixed deps;
authorwenzelm
Thu Oct 28 19:53:24 1999 +0200 (1999-10-28)
changeset 7967942274e0f7a8
parent 7966 4db0cdd752f7
child 7968 964b65b4e433
fixed deps;
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Thu Oct 28 19:53:08 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Oct 28 19:53:24 1999 +0200
     1.3 @@ -374,7 +374,8 @@
     1.4    Isar_examples/KnasterTarski.thy Isar_examples/MultisetOrder.thy \
     1.5    Isar_examples/MutilatedCheckerboard.thy Isar_examples/Peirce.thy \
     1.6    Isar_examples/Summation.thy Isar_examples/ROOT.ML \
     1.7 -  Isar_examples/W_correct.thy Isar_examples/document/root.tex \
     1.8 +  Isar_examples/W_correct.thy Isar_examples/document/proof.sty \
     1.9 +  Isar_examples/document/root.bib Isar_examples/document/root.tex \
    1.10    Isar_examples/document/style.tex
    1.11  	@$(ISATOOL) usedir $(OUT)/HOL Isar_examples
    1.12