Nominal/ROOT.ML
changeset 2617 e44551d067e6
parent 2586 3ebc7ecfb0dd
child 2618 d17fadc20507
equal deleted inserted replaced
2616:dd7490fdd998 2617:e44551d067e6
    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     ];
    29     ];