diff -r db8f94656024 -r d0a0b74f0ad7 src/Doc/Tutorial/Types/Axioms.thy
--- 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>