equal
deleted
inserted
replaced
963 ex/Predicate_Compile_ex.thy ex/Predicate_Compile_Quickcheck.thy \ |
963 ex/Predicate_Compile_ex.thy ex/Predicate_Compile_Quickcheck.thy \ |
964 ex/PresburgerEx.thy ex/Primrec.thy ex/Quickcheck_Examples.thy \ |
964 ex/PresburgerEx.thy ex/Primrec.thy ex/Quickcheck_Examples.thy \ |
965 ex/ROOT.ML ex/Recdefs.thy ex/Records.thy ex/ReflectionEx.thy \ |
965 ex/ROOT.ML ex/Recdefs.thy ex/Records.thy ex/ReflectionEx.thy \ |
966 ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.thy \ |
966 ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.thy \ |
967 ex/Serbian.thy ex/Sqrt.thy ex/Sqrt_Script.thy ex/Sudoku.thy \ |
967 ex/Serbian.thy ex/Sqrt.thy ex/Sqrt_Script.thy ex/Sudoku.thy \ |
968 ex/Tarski.thy ex/Termination.thy ex/Transfer_Ex.thy \ |
968 ex/Tarski.thy ex/Termination.thy ex/Transfer_Ex.thy ex/Tree23.thy \ |
969 ex/Unification.thy ex/document/root.bib ex/document/root.tex \ |
969 ex/Unification.thy ex/document/root.bib ex/document/root.tex \ |
970 ex/set.thy ex/svc_funcs.ML ex/svc_test.thy |
970 ex/set.thy ex/svc_funcs.ML ex/svc_test.thy |
971 @$(ISABELLE_TOOL) usedir $(OUT)/HOL ex |
971 @$(ISABELLE_TOOL) usedir $(OUT)/HOL ex |
972 |
972 |
973 |
973 |