
diff -r c9d56340b56e -r 08288b406005 src/HOL/Examples/Rewrite_Examples.thy
--- a/src/HOL/Examples/Rewrite_Examples.thy	Sat Aug 27 17:53:00 2022 +0200
+++ b/src/HOL/Examples/Rewrite_Examples.thy	Sun Aug 28 11:53:48 2022 +0200
@@ -7,7 +7,7 @@
 text\<open>
 This theory gives an overview over the features of the pattern-based rewrite proof method.
 
-Documentation: @{url "https://arxiv.org/abs/2111.04082"}
+Documentation: \<^url>\<open>https://arxiv.org/abs/2111.04082\<close>
 \<close>
 
 lemma




