equal
deleted
inserted
replaced
1056 ex/PresburgerEx.thy ex/Primrec.thy ex/Quickcheck_Examples.thy \ |
1056 ex/PresburgerEx.thy ex/Primrec.thy ex/Quickcheck_Examples.thy \ |
1057 ex/Quickcheck_Lattice_Examples.thy \ |
1057 ex/Quickcheck_Lattice_Examples.thy \ |
1058 ex/Quickcheck_Narrowing_Examples.thy ex/Quicksort.thy ex/ROOT.ML \ |
1058 ex/Quickcheck_Narrowing_Examples.thy ex/Quicksort.thy ex/ROOT.ML \ |
1059 ex/Records.thy ex/ReflectionEx.thy ex/Refute_Examples.thy \ |
1059 ex/Records.thy ex/ReflectionEx.thy ex/Refute_Examples.thy \ |
1060 ex/SAT_Examples.thy ex/Serbian.thy ex/Set_Theory.thy \ |
1060 ex/SAT_Examples.thy ex/Serbian.thy ex/Set_Theory.thy \ |
1061 ex/Set_Algebras.thy ex/SVC_Oracle.thy ex/sledgehammer_tactics.ML \ |
1061 ex/Set_Algebras.thy ex/Simproc_Tests.thy ex/SVC_Oracle.thy \ |
1062 ex/Seq.thy ex/Sqrt.thy ex/Sqrt_Script.thy ex/Sudoku.thy \ |
1062 ex/sledgehammer_tactics.ML ex/Seq.thy ex/Sqrt.thy ex/Sqrt_Script.thy \ |
1063 ex/Tarski.thy ex/Termination.thy ex/Transfer_Ex.thy ex/Tree23.thy \ |
1063 ex/Sudoku.thy ex/Tarski.thy ex/Termination.thy ex/Transfer_Ex.thy \ |
1064 ex/Unification.thy ex/While_Combinator_Example.thy \ |
1064 ex/Tree23.thy ex/Unification.thy ex/While_Combinator_Example.thy \ |
1065 ex/document/root.bib ex/document/root.tex ex/svc_funcs.ML \ |
1065 ex/document/root.bib ex/document/root.tex ex/svc_funcs.ML \ |
1066 ex/svc_test.thy ../Tools/interpretation_with_defs.ML |
1066 ex/svc_test.thy ../Tools/interpretation_with_defs.ML |
1067 @$(ISABELLE_TOOL) usedir $(OUT)/HOL ex |
1067 @$(ISABELLE_TOOL) usedir $(OUT)/HOL ex |
1068 |
1068 |
1069 |
1069 |