src/Sequents/ROOT

--- a/src/Sequents/ROOT	Tue Nov 20 13:44:06 2018 +0100
+++ b/src/Sequents/ROOT	Tue Nov 20 13:46:13 2018 +0100
@@ -1,7 +1,7 @@
 chapter Sequents
 
 session Sequents = Pure +
-  description \<open>
+  description "
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1991  University of Cambridge
 
@@ -36,7 +36,7 @@
 
     S. Kalvala and V. de Paiva, Linear Logic in Isabelle (in TR 379, University
     of Cambridge Computer Lab, 1995, ed L. Paulson)
-\<close>
+  "
   theories
     LK
     ILL
@@ -46,7 +46,6 @@
     T
     S4
     S43
-
     (* Examples for Classical Logic *)
     "LK/Propositional"
     "LK/Quantifiers"