equal
deleted
inserted
replaced
634 ex/NatSum.thy ex/PER.thy ex/PresburgerEx.thy ex/Primrec.thy \ |
634 ex/NatSum.thy ex/PER.thy ex/PresburgerEx.thy ex/Primrec.thy \ |
635 ex/Puzzle.thy ex/Qsort.thy ex/Quickcheck_Examples.thy \ |
635 ex/Puzzle.thy ex/Qsort.thy ex/Quickcheck_Examples.thy \ |
636 ex/Reflection.thy ex/ReflectionEx.thy ex/ROOT.ML ex/Recdefs.thy \ |
636 ex/Reflection.thy ex/ReflectionEx.thy ex/ROOT.ML ex/Recdefs.thy \ |
637 ex/Records.thy ex/Reflected_Presburger.thy ex/Refute_Examples.thy \ |
637 ex/Records.thy ex/Reflected_Presburger.thy ex/Refute_Examples.thy \ |
638 ex/SAT_Examples.thy ex/svc_oracle.ML ex/SVC_Oracle.thy \ |
638 ex/SAT_Examples.thy ex/svc_oracle.ML ex/SVC_Oracle.thy \ |
639 ex/Sudoku.thy ex/Tarski.thy ex/document/root.bib ex/document/root.tex \ |
639 ex/Sudoku.thy ex/Tarski.thy ex/Unification.thy ex/document/root.bib \ |
640 ex/mesontest2.ML ex/mesontest2.thy ex/reflection.ML ex/set.thy \ |
640 ex/document/root.tex ex/mesontest2.ML ex/mesontest2.thy ex/reflection.ML \ |
641 ex/svc_funcs.ML ex/svc_test.thy Library/Parity.thy Library/GCD.thy |
641 ex/set.thy ex/svc_funcs.ML ex/svc_test.thy Library/Parity.thy Library/GCD.thy |
642 @$(ISATOOL) usedir $(OUT)/HOL ex |
642 @$(ISATOOL) usedir $(OUT)/HOL ex |
643 |
643 |
644 |
644 |
645 ## HOL-Isar_examples |
645 ## HOL-Isar_examples |
646 |
646 |