src/Sequents/ROOT
changeset 66946 3d8fd98c7c86
parent 55229 08f2ebb65078
child 69277 15e9ed5b28fb
equal deleted inserted replaced
66945:b6f787a17fbe 66946:3d8fd98c7c86
    35     A. S. Troelstra, Lectures on Linear Logic (CSLI, 1992)
    35     A. S. Troelstra, Lectures on Linear Logic (CSLI, 1992)
    36 
    36 
    37     S. Kalvala and V. de Paiva, Linear Logic in Isabelle (in TR 379, University
    37     S. Kalvala and V. de Paiva, Linear Logic in Isabelle (in TR 379, University
    38     of Cambridge Computer Lab, 1995, ed L. Paulson)
    38     of Cambridge Computer Lab, 1995, ed L. Paulson)
    39   *}
    39   *}
    40   options [document = false]
       
    41   theories
    40   theories
    42     LK
    41     LK
    43     ILL
    42     ILL
    44     ILL_predlog
    43     ILL_predlog
    45     Washing
    44     Washing
    51     (* Examples for Classical Logic *)
    50     (* Examples for Classical Logic *)
    52     "LK/Propositional"
    51     "LK/Propositional"
    53     "LK/Quantifiers"
    52     "LK/Quantifiers"
    54     "LK/Hard_Quantifiers"
    53     "LK/Hard_Quantifiers"
    55     "LK/Nat"
    54     "LK/Nat"
    56