Nominal/ROOT.ML
branchNominal2-Isabelle2012
changeset 3170 89715c48f728
parent 3112 e4050732ba15
equal deleted inserted replaced
3169:b6873d123f9b 3170:89715c48f728
    16     "Ex/LetPat",
    16     "Ex/LetPat",
    17     "Ex/LetRec",
    17     "Ex/LetRec",
    18     "Ex/LetRec2",
    18     "Ex/LetRec2",
    19     "Ex/LetFun",
    19     "Ex/LetFun",
    20     "Ex/Modules",
    20     "Ex/Modules",
       
    21 
    21     "Ex/SingleLet",
    22     "Ex/SingleLet",
    22     "Ex/Shallow",
    23     "Ex/Shallow",
    23     "Ex/SystemFOmega",
    24     "Ex/SystemFOmega",
    24     "Ex/TypeSchemes1",
    25     "Ex/TypeSchemes1",
    25     "Ex/TypeSchemes2",
    26     "Ex/TypeSchemes2",
    26     "Ex/TypeVarsTest",
       
    27     "Ex/Foo1",
    27     "Ex/Foo1",
    28     "Ex/Foo2",
    28     "Ex/Foo2",
    29     "Ex/CoreHaskell",
    29     "Ex/CoreHaskell",
    30     "Ex/CoreHaskell2",
    30     "Ex/CoreHaskell2",
    31     "Ex/Pi"
    31     "Ex/Pi"