changeset 72991 | d0a0b74f0ad7 |
parent 69597 | ff784d5a5bfb |
child 76987 | 4c275405faae |
--- a/src/Doc/Tutorial/Types/Axioms.thy Wed Dec 23 22:25:22 2020 +0100 +++ b/src/Doc/Tutorial/Types/Axioms.thy Wed Dec 23 23:03:03 2020 +0100 @@ -1,4 +1,4 @@ -(*<*)theory Axioms imports Overloading Setup begin(*>*) +(*<*)theory Axioms imports Overloading "../Setup" begin(*>*) subsection \<open>Axioms\<close>