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

session 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"
    "Ex/Pi"
  theories [quick_and_dirty]
    "Ex/Let"

session Esop! in "ESOP-Paper" = Nominal2 +
   theories [document = false]
     "~~/src/HOL/Library/LaTeXsugar"
   theories 
     "Paper"
   files "document/root.bib" "document/root.tex"