src/Sequents/ROOT
changeset 69272 15e9ed5b28fb
parent 66946 3d8fd98c7c86
child 69319 baccaf89ca0d
     1.1 --- a/src/Sequents/ROOT	Thu Nov 08 22:02:07 2018 +0100
     1.2 +++ b/src/Sequents/ROOT	Thu Nov 08 22:29:09 2018 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  chapter Sequents
     1.5  
     1.6  session Sequents = Pure +
     1.7 -  description {*
     1.8 +  description \<open>
     1.9      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
    1.10      Copyright   1991  University of Cambridge
    1.11  
    1.12 @@ -36,7 +36,7 @@
    1.13  
    1.14      S. Kalvala and V. de Paiva, Linear Logic in Isabelle (in TR 379, University
    1.15      of Cambridge Computer Lab, 1995, ed L. Paulson)
    1.16 -  *}
    1.17 +\<close>
    1.18    theories
    1.19      LK
    1.20      ILL