diff --git a/thys/LambdaAuth/ROOT b/thys/LambdaAuth/ROOT
--- a/thys/LambdaAuth/ROOT
+++ b/thys/LambdaAuth/ROOT
@@ -1,17 +1,17 @@
 chapter AFP
 
 session "LambdaAuth" (AFP) = Nominal2 +
-  description {* Authenticated Data Structures *}
+  description \<open>Authenticated Data Structures\<close>
   options [timeout = 600]
   sessions
     "HOL-Library"
   theories
     Nominal2_Lemmas
     FMap_Lemmas
     Syntax
     Semantics
     Agreement
     Results
   document_files
     "root.tex"
     "root.bib"