Nominal/ROOT.ML
changeset 2581 3696659358c8
parent 2570 1c77e15c4259
child 2586 3ebc7ecfb0dd
equal deleted inserted replaced
2580:6b3e8602edcf 2581:3696659358c8
    17     "Ex/LetRec2",
    17     "Ex/LetRec2",
    18     "Ex/LetFun",
    18     "Ex/LetFun",
    19     "Ex/Modules",
    19     "Ex/Modules",
    20     "Ex/SingleLet",
    20     "Ex/SingleLet",
    21     "Ex/Shallow",
    21     "Ex/Shallow",
       
    22     "Ex/SystemFOmega",
    22     "Ex/TypeSchemes",
    23     "Ex/TypeSchemes",
    23     "Ex/TypeVarsTest",
    24     "Ex/TypeVarsTest",
    24     "Ex/Foo1",
    25     "Ex/Foo1",
    25     "Ex/Foo2",
    26     "Ex/Foo2",
    26     "Ex/CoreHaskell"
    27     "Ex/CoreHaskell"