Mercurial Mercurial > hg > nominal2 / 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.
ROOT
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 19 Feb 2013 06:58:14 +0000
branchNominal2-Isabelle2013
changeset 3208 da575186d492
parent 3198 e42d281bf5ef
permissions -rw-r--r--
updated for 2013 release

session Nominal2 in "Nominal" = HOL +
  options [document = false]
  theories
    "Nominal2"
    "Atoms"
    "Eqvt"

session Examples (Tests) in "Nominal" = Nominal2 +
  options [document = false]
  theories
    "Ex/Weakening"
    "Ex/Classical"
    "Ex/Datatypes"
    "Ex/Ex1"
    "Ex/ExPS3"
    "Ex/Multi_Recs"
    "Ex/Multi_Recs2"
    "Ex/LF"
    "Ex/Lambda"
    "Ex/Let"
    "Ex/LetPat"
    "Ex/LetRec"
    "Ex/LetRec2"
    "Ex/LetFun"
    "Ex/Modules"
    "Ex/SingleLet"
    "Ex/Shallow"
    "Ex/SystemFOmega"
    "Ex/TypeSchemes1"
    "Ex/TypeSchemes2"
    "Ex/TypeVarsTest"
    "Ex/Foo1"
    "Ex/Foo2"
    "Ex/CoreHaskell"
    "Ex/CoreHaskell2"
nominal2