equal
deleted
inserted
replaced
901 ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.thy \ |
901 ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.thy \ |
902 ex/Serbian.thy ex/Sqrt.thy ex/Sqrt_Script.thy \ |
902 ex/Serbian.thy ex/Sqrt.thy ex/Sqrt_Script.thy \ |
903 ex/Sudoku.thy ex/Tarski.thy \ |
903 ex/Sudoku.thy ex/Tarski.thy \ |
904 ex/Termination.thy ex/Unification.thy ex/document/root.bib \ |
904 ex/Termination.thy ex/Unification.thy ex/document/root.bib \ |
905 ex/document/root.tex ex/set.thy ex/svc_funcs.ML ex/svc_test.thy \ |
905 ex/document/root.tex ex/set.thy ex/svc_funcs.ML ex/svc_test.thy \ |
906 ex/Predicate_Compile.thy ex/predicate_compile.ML ex/Predicate_Compile_ex.thy |
906 ex/Predicate_Compile.thy ex/predicate_compile.ML ex/Predicate_Compile_ex.thy \ |
|
907 ex/Mirabelle.thy ex/mirabelle.ML |
907 @$(ISABELLE_TOOL) usedir $(OUT)/HOL ex |
908 @$(ISABELLE_TOOL) usedir $(OUT)/HOL ex |
908 |
909 |
909 |
910 |
910 ## HOL-Isar_examples |
911 ## HOL-Isar_examples |
911 |
912 |