src/HOL/IsaMakefile
changeset 8020 2823ce1753a5
parent 8012 bbdf3c51c3b8
child 8033 325b8e754523
     1.1 --- a/src/HOL/IsaMakefile	Wed Nov 17 11:16:26 1999 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Nov 17 15:03:23 1999 +0100
     1.3 @@ -421,10 +421,10 @@
     1.4    Isar_examples/ExprCompiler.thy Isar_examples/Group.thy \
     1.5    Isar_examples/KnasterTarski.thy Isar_examples/MultisetOrder.thy \
     1.6    Isar_examples/MutilatedCheckerboard.thy Isar_examples/Peirce.thy \
     1.7 -  Isar_examples/Summation.thy Isar_examples/ROOT.ML \
     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 +  Isar_examples/Puzzle.thy Isar_examples/Summation.thy \
    1.12 +  Isar_examples/ROOT.ML Isar_examples/W_correct.thy \
    1.13 +  Isar_examples/document/proof.sty Isar_examples/document/root.bib \
    1.14 +  Isar_examples/document/root.tex Isar_examples/document/style.tex
    1.15  	@$(ISATOOL) usedir $(OUT)/HOL Isar_examples
    1.16  
    1.17