src/FOLP/ROOT
changeset 66946 3d8fd98c7c86
parent 65527 0d8a7013bf36
child 69272 15e9ed5b28fb
     1.1 --- a/src/FOLP/ROOT	Mon Oct 30 19:36:27 2017 +0100
     1.2 +++ b/src/FOLP/ROOT	Mon Oct 30 20:04:10 2017 +0100
     1.3 @@ -9,7 +9,6 @@
     1.4  
     1.5      Presence of unknown proof term means that matching does not behave as expected.
     1.6    *}
     1.7 -  options [document = false]
     1.8    theories
     1.9      IFOLP (global)
    1.10      FOLP (global)
    1.11 @@ -21,7 +20,6 @@
    1.12  
    1.13      Examples for First-Order Logic.
    1.14    *}
    1.15 -  options [document = false]
    1.16    theories
    1.17      Intro
    1.18      Nat
    1.19 @@ -33,4 +31,3 @@
    1.20      Quantifiers_Int
    1.21      Propositional_Cla
    1.22      Quantifiers_Cla
    1.23 -