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