From 9fe7b26a356413751236a939ca5621d5fe06b5b6 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 1 Mar 2023 11:41:31 +0000
Subject: [PATCH] Fixed unicode characters.

---
 .../TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy         | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Isabelle_DOF-Example-Extra/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy b/Isabelle_DOF-Example-Extra/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy
index 1f90b61..d1702f7 100644
--- a/Isabelle_DOF-Example-Extra/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy
+++ b/Isabelle_DOF-Example-Extra/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy
@@ -1637,7 +1637,7 @@ val data = \<comment> \<open>Derived from Yakoub's example ;-)\<close>
   , (\<open>Frédéric II\<close>,   \<open>King of Sicily\<close>)
   , (\<open>Frédéric III\<close>,  \<open>the Handsome\<close>)
   , (\<open>Frédéric IV\<close>,   \<open>of the Empty Pockets\<close>)
-  , (\<open>Frédéric V\<close>,    \<open>King of Denmark–Norway\<close>)
+  , (\<open>Frédéric V\<close>,    \<open>King of Denmark-Norway\<close>)
   , (\<open>Frédéric VI\<close>,   \<open>the Knight\<close>)
   , (\<open>Frédéric VII\<close>,  \<open>Count of Toggenburg\<close>)
   , (\<open>Frédéric VIII\<close>, \<open>Count of Zollern\<close>)