Nominal/ROOT.ML
changeset 2626 d1bdc281be2b
parent 2618 d17fadc20507
child 2644 8ad8612e5d9b
equal deleted inserted replaced
2625:478c5648e73f 2626:d1bdc281be2b
    20     "Ex/SingleLet",
    20     "Ex/SingleLet",
    21     "Ex/Shallow",
    21     "Ex/Shallow",
    22     "Ex/SystemFOmega",
    22     "Ex/SystemFOmega",
    23     "Ex/TypeSchemes",
    23     "Ex/TypeSchemes",
    24     "Ex/TypeVarsTest",
    24     "Ex/TypeVarsTest",
    25     (*"Ex/Foo1",
    25     "Ex/Foo1",
    26     "Ex/Foo2",*)
    26     "Ex/Foo2",
    27     "Ex/CoreHaskell",
    27     "Ex/CoreHaskell",
    28     "Ex/CoreHaskell2"
    28     "Ex/CoreHaskell2"
    29     ];
    29     ];