src/FOL/ROOT
changeset 52488 cd65ee49a8ba
parent 51558 91f8bed6d0a4
child 56781 f2eb0f22589f
equal deleted inserted replaced
52487:48bc24467008 52488:cd65ee49a8ba
    13 
    13 
    14     Antony Galton, Logic for Information Technology (Wiley, 1990)
    14     Antony Galton, Logic for Information Technology (Wiley, 1990)
    15 
    15 
    16     Michael Dummett, Elements of Intuitionism (Oxford, 1977)
    16     Michael Dummett, Elements of Intuitionism (Oxford, 1977)
    17   *}
    17   *}
    18   options [proofs = 2]
       
    19   theories FOL
    18   theories FOL
    20   files "document/root.tex"
    19   files "document/root.tex"
    21 
    20 
    22 session "FOL-ex" in ex = FOL +
    21 session "FOL-ex" in ex = FOL +
    23   description {*
    22   description {*