--- a/doc-src/TutorialI/Documents/Documents.thy Wed Apr 16 21:53:05 2008 +0200
+++ b/doc-src/TutorialI/Documents/Documents.thy Wed Apr 16 22:17:43 2008 +0200
@@ -140,7 +140,7 @@
(*<*)
hide const xor
-setup {* Theory.add_path "version1" *}
+setup {* Sign.add_path "version1" *}
(*>*)
constdefs
xor :: "bool \<Rightarrow> bool \<Rightarrow> bool" (infixl "\<oplus>" 60)
@@ -164,7 +164,7 @@
(*<*)
hide const xor
-setup {* Theory.add_path "version2" *}
+setup {* Sign.add_path "version2" *}
(*>*)
constdefs
xor :: "bool \<Rightarrow> bool \<Rightarrow> bool" (infixl "[+]\<ignore>" 60)