src/Sequents/ROOT
changeset 55229 08f2ebb65078
parent 51403 2ff3a5589b05
child 66946 3d8fd98c7c86
equal deleted inserted replaced
55228:901a6696cdd8 55229:08f2ebb65078
    46     Modal0
    46     Modal0
    47     T
    47     T
    48     S4
    48     S4
    49     S43
    49     S43
    50 
    50 
    51 session "Sequents-LK" in LK = Sequents +
    51     (* Examples for Classical Logic *)
    52   description {*
    52     "LK/Propositional"
    53     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
    53     "LK/Quantifiers"
    54     Copyright   1992  University of Cambridge
    54     "LK/Hard_Quantifiers"
       
    55     "LK/Nat"
    55 
    56 
    56     Examples for Classical Logic.
       
    57   *}
       
    58   options [document = false]
       
    59   theories
       
    60     Propositional
       
    61     Quantifiers
       
    62     Hard_Quantifiers
       
    63     Nat
       
    64