| changeset 76987 | 4c275405faae |
| parent 76443 | 8dbb0b2f6576 |
| child 79505 | a94a512c5e7a |
--- 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>