Nominal/ROOT.ML
changeset 2644 8ad8612e5d9b
parent 2626 d1bdc281be2b
child 2646 51f75d24bd73
equal deleted inserted replaced
2643:0579d3a48304 2644:8ad8612e5d9b
    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 
       
    30     "Ex/Weakening"
    29     ];
    31     ];