src/FOL/ROOT
author wenzelm
Wed, 18 Jul 2012 16:24:16 +0200
changeset 48336 3c55bfad22eb
parent 48280 7d86239986c2
child 48349 a78e5d399599
permissions -rw-r--r--
more tight treatment of reset_name;

session FOL! in "." = Pure +
  description "First-Order Logic with Natural Deduction"
  options [proofs = 2]
  theories FOL
  files "document/root.tex"

session ex = FOL +
  theories
    First_Order_Logic
    Natural_Numbers
    Intro
    Nat
    Nat_Class
    Foundation
    Prolog
    Intuitionistic
    Propositional_Int
    Quantifiers_Int
    Classical
    Propositional_Cla
    Quantifiers_Cla
    Miniscope
    If
  theories [document = false] "Locale_Test/Locale_Test"
  files "document/root.tex"