src/HOL/IsaMakefile
changeset 7967 942274e0f7a8
parent 7926 9c20924de52c
child 7985 e6fcb279fdbe
equal deleted inserted replaced
7966:4db0cdd752f7 7967:942274e0f7a8
   372   Isar_examples/Cantor.ML Isar_examples/Cantor.thy \
   372   Isar_examples/Cantor.ML Isar_examples/Cantor.thy \
   373   Isar_examples/ExprCompiler.thy Isar_examples/Group.thy \
   373   Isar_examples/ExprCompiler.thy Isar_examples/Group.thy \
   374   Isar_examples/KnasterTarski.thy Isar_examples/MultisetOrder.thy \
   374   Isar_examples/KnasterTarski.thy Isar_examples/MultisetOrder.thy \
   375   Isar_examples/MutilatedCheckerboard.thy Isar_examples/Peirce.thy \
   375   Isar_examples/MutilatedCheckerboard.thy Isar_examples/Peirce.thy \
   376   Isar_examples/Summation.thy Isar_examples/ROOT.ML \
   376   Isar_examples/Summation.thy Isar_examples/ROOT.ML \
   377   Isar_examples/W_correct.thy Isar_examples/document/root.tex \
   377   Isar_examples/W_correct.thy Isar_examples/document/proof.sty \
       
   378   Isar_examples/document/root.bib Isar_examples/document/root.tex \
   378   Isar_examples/document/style.tex
   379   Isar_examples/document/style.tex
   379 	@$(ISATOOL) usedir $(OUT)/HOL Isar_examples
   380 	@$(ISATOOL) usedir $(OUT)/HOL Isar_examples
   380 
   381 
   381 
   382 
   382 ## TLA
   383 ## TLA