Nominal/ROOT.ML
changeset 2586 3ebc7ecfb0dd
parent 2581 3696659358c8
child 2617 e44551d067e6
equal deleted inserted replaced
2585:385add25dedf 2586:3ebc7ecfb0dd
    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     ];
    28     ];