Nominal/ROOT.ML
changeset 3100 8779fb01d8b4
parent 3097 b27e94db1b8a
child 3112 e4050732ba15
equal deleted inserted replaced
3099:502b5f02edaf 3100:8779fb01d8b4
    19     "Ex/LetFun",
    19     "Ex/LetFun",
    20     "Ex/Modules",
    20     "Ex/Modules",
    21     "Ex/SingleLet",
    21     "Ex/SingleLet",
    22     "Ex/Shallow",
    22     "Ex/Shallow",
    23     "Ex/SystemFOmega",
    23     "Ex/SystemFOmega",
    24     "Ex/TypeSchemes",
    24     "Ex/TypeSchemes1",
       
    25     "Ex/TypeSchemes2",
    25     "Ex/TypeVarsTest",
    26     "Ex/TypeVarsTest",
    26     "Ex/Foo1",
    27     "Ex/Foo1",
    27     "Ex/Foo2",
    28     "Ex/Foo2",
    28     "Ex/CoreHaskell",
    29     "Ex/CoreHaskell",
    29     "Ex/CoreHaskell2", 
    30     "Ex/CoreHaskell2",