diff --git a/thys/Binding_Syntax_Theory/ROOT b/thys/Binding_Syntax_Theory/ROOT
--- a/thys/Binding_Syntax_Theory/ROOT
+++ b/thys/Binding_Syntax_Theory/ROOT
@@ -1,12 +1,12 @@
 chapter AFP 
 
 session Binding_Syntax_Theory (AFP) = "HOL-Cardinals" +
-  description {* Theory of Syntax with Bindings *}
+  description "Theory of Syntax with Bindings"
   options [timeout = 3600]
   theories [document = false]
     Preliminaries
   theories
     Semantic_Domains 
     Recursion
   document_files
     "root.tex"
diff --git a/thys/Complete_Non_Orders/ROOT b/thys/Complete_Non_Orders/ROOT
--- a/thys/Complete_Non_Orders/ROOT
+++ b/thys/Complete_Non_Orders/ROOT
@@ -1,10 +1,10 @@
 chapter AFP
 
 session Complete_Non_Orders (AFP) = HOL +
-  description {* Theory of Complete Non-Orders and their Fixed-Points Theorems *}
+  description "Theory of Complete Non-Orders and their Fixed-Points Theorems"
   options [timeout = 300]
   theories
     Fixed_Points
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/HOL-CSP/ROOT b/thys/HOL-CSP/ROOT
--- a/thys/HOL-CSP/ROOT
+++ b/thys/HOL-CSP/ROOT
@@ -1,63 +1,62 @@
 chapter AFP
 
 (*****************************************************************************
  *
  * Project         : HOL-CSP - A Shallow Embedding of CSP in  Isabelle/HOL
  * Version         : 2.0
  *
  * Author          : Burkhart Wolff, Safouan Taha & Lina Ye
  *                   (Based on HOL-CSP 1.0 by Haykal Tej and Burkhart Wolff)
  *
  * This file       : A Combined CSP Theory
  *
  * Copyright (c) 2009 Université Paris-Sud, France
  *
  *
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  *       notice, this list of conditions and the following disclaimer.
  *
  *     * Redistributions in binary form must reproduce the above
  *       copyright notice, this list of conditions and the following
  *       disclaimer in the documentation and/or other materials provided
  *       with the distribution.
  *
  *     * Neither the name of the copyright holders nor the names of its
  *       contributors may be used to endorse or promote products derived
  *       from this software without specific prior written permission.
  *
  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  ******************************************************************************)
-(* $Id:$ *)
 
 session "HOL-CSP" (AFP) = HOLCF +
-  description {* HOL-CSP based on the original Roscoe-Book. *}
+  description "HOL-CSP based on the original Roscoe-Book."
   options [timeout = 1200]
   sessions
     "HOL-Eisbach"
   theories
     "Introduction"
     "Process"
      Bot Skip Stop Mprefix Det Ndet Seq Hide Sync Mndet
     "CSP" "Assertions"
     "Conclusion"
     "CopyBuffer"
   document_files
     "root.tex"
     "adb-long.bib"
     "root.bib"
diff --git a/thys/QHLProver/ROOT b/thys/QHLProver/ROOT
--- a/thys/QHLProver/ROOT
+++ b/thys/QHLProver/ROOT
@@ -1,14 +1,12 @@
 chapter AFP
 
 session QHLProver (AFP) = Jordan_Normal_Form +
-  description {*
-    Formalization of quantum Hoare logic and applications.
-  *}
+  description "Formalization of quantum Hoare logic and applications."
   options [timeout = 600]
   sessions
     Deep_Learning
   theories
     Grover
   document_files
     "root.bib"
     "root.tex"
\ No newline at end of file
diff --git a/thys/Verified_SAT_Based_AI_Planning/ROOT b/thys/Verified_SAT_Based_AI_Planning/ROOT
--- a/thys/Verified_SAT_Based_AI_Planning/ROOT
+++ b/thys/Verified_SAT_Based_AI_Planning/ROOT
@@ -1,28 +1,28 @@
 chapter AFP
 
 session Verified_SAT_Based_AI_Planning (AFP) = HOL +
-  description {* Verified SAT-Based AI Planning *}
+  description "Verified SAT-Based AI Planning"
   options [timeout = 600]
   sessions
     "HOL-Data_Structures"
     "AI_Planning_Languages_Semantics"
     "Propositional_Proof_Systems"
     "List-Index"
   theories [document = false]
     "List_Supplement"
     "Map_Supplement"
     "CNF_Supplement"
     "CNF_Semantics_Supplement"
   theories
     "SAS_Plus_STRIPS"
     "STRIPS_Representation"
     "STRIPS_Semantics"
     "SAS_Plus_Representation"
     "SAS_Plus_Semantics"
     "SAT_Plan_Base"
     "SAT_Plan_Extensions"
     "SAT_Solve_SAS_Plus"
     "Solve_SASP"
   document_files
     "root.tex"
     "root.bib"