
diff -r 1e31ddcab458 -r 4c275405faae src/Doc/Demo_LLNCS/Document.thy
--- a/src/Doc/Demo_LLNCS/Document.thy	Sun Jan 15 16:28:03 2023 +0100
+++ b/src/Doc/Demo_LLNCS/Document.thy	Sun Jan 15 18:30:18 2023 +0100
@@ -23,7 +23,7 @@
 
 paragraph \<open>Another paragraph.\<close>
 
-text \<open>See also @{cite \<open>\S3\<close> "isabelle-system"}.\<close>
+text \<open>See also \<^cite>\<open>\<open>\S3\<close> in "isabelle-system"\<close>.\<close>
 
 
 section \<open>Formal proof of Cantor's theorem\<close>




