src/Sequents/ROOT
changeset 66946 3d8fd98c7c86
parent 55229 08f2ebb65078
child 69272 15e9ed5b28fb
     1.1 --- a/src/Sequents/ROOT	Mon Oct 30 19:36:27 2017 +0100
     1.2 +++ b/src/Sequents/ROOT	Mon Oct 30 20:04:10 2017 +0100
     1.3 @@ -37,7 +37,6 @@
     1.4      S. Kalvala and V. de Paiva, Linear Logic in Isabelle (in TR 379, University
     1.5      of Cambridge Computer Lab, 1995, ed L. Paulson)
     1.6    *}
     1.7 -  options [document = false]
     1.8    theories
     1.9      LK
    1.10      ILL
    1.11 @@ -53,4 +52,3 @@
    1.12      "LK/Quantifiers"
    1.13      "LK/Hard_Quantifiers"
    1.14      "LK/Nat"
    1.15 -