equal
deleted
inserted
replaced
625 Isar_examples/KnasterTarski.thy Isar_examples/MutilatedCheckerboard.thy \ |
625 Isar_examples/KnasterTarski.thy Isar_examples/MutilatedCheckerboard.thy \ |
626 Isar_examples/NestedDatatype.thy Isar_examples/Peirce.thy \ |
626 Isar_examples/NestedDatatype.thy Isar_examples/Peirce.thy \ |
627 Isar_examples/Puzzle.thy Isar_examples/Summation.thy \ |
627 Isar_examples/Puzzle.thy Isar_examples/Summation.thy \ |
628 Isar_examples/ROOT.ML Isar_examples/document/proof.sty \ |
628 Isar_examples/ROOT.ML Isar_examples/document/proof.sty \ |
629 Isar_examples/document/root.bib Isar_examples/document/root.tex \ |
629 Isar_examples/document/root.bib Isar_examples/document/root.tex \ |
630 Isar_examples/document/style.tex Hoare/Hoare.ML |
630 Isar_examples/document/style.tex Hoare/hoare.ML |
631 @$(ISATOOL) usedir $(OUT)/HOL Isar_examples |
631 @$(ISATOOL) usedir $(OUT)/HOL Isar_examples |
632 |
632 |
633 |
633 |
634 ## TLA |
634 ## TLA |
635 |
635 |