Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/FOL/ROOT
author wenzelm
Fri, 07 Dec 2012 20:39:09 +0100
changeset 50428 7a78a74139f5
parent 48738 f8c1a5b9488f
child 51397 03b586ee5930
permissions -rw-r--r--
adhoc recovery from spurious NPEs, similar quantum-effect behind 7c8ce63a3c00;

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

session "FOL-ex" in 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"
isabelle