Nominal/ROOT.ML
changeset 2618 d17fadc20507
parent 2617 e44551d067e6
child 2626 d1bdc281be2b
equal deleted inserted replaced
2617:e44551d067e6 2618:d17fadc20507
    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     ];