src/Sequents/ROOT
changeset 55229 08f2ebb65078
parent 51403 2ff3a5589b05
child 66946 3d8fd98c7c86
     1.1 --- a/src/Sequents/ROOT	Sat Feb 01 17:56:03 2014 +0100
     1.2 +++ b/src/Sequents/ROOT	Sat Feb 01 18:00:28 2014 +0100
     1.3 @@ -48,17 +48,9 @@
     1.4      S4
     1.5      S43
     1.6  
     1.7 -session "Sequents-LK" in LK = Sequents +
     1.8 -  description {*
     1.9 -    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
    1.10 -    Copyright   1992  University of Cambridge
    1.11 +    (* Examples for Classical Logic *)
    1.12 +    "LK/Propositional"
    1.13 +    "LK/Quantifiers"
    1.14 +    "LK/Hard_Quantifiers"
    1.15 +    "LK/Nat"
    1.16  
    1.17 -    Examples for Classical Logic.
    1.18 -  *}
    1.19 -  options [document = false]
    1.20 -  theories
    1.21 -    Propositional
    1.22 -    Quantifiers
    1.23 -    Hard_Quantifiers
    1.24 -    Nat
    1.25 -