Nominal/ROOT.ML
changeset 2494 11133eb76f61
parent 2482 0c2eb0ed30a0
child 2556 8ed62410236e
equal deleted inserted replaced
2493:2e174807c891 2494:11133eb76f61
    16     "Ex/LetRec2",
    16     "Ex/LetRec2",
    17     "Ex/LetFun",
    17     "Ex/LetFun",
    18     "Ex/Modules",
    18     "Ex/Modules",
    19     "Ex/SingleLet",
    19     "Ex/SingleLet",
    20     "Ex/TypeSchemes",
    20     "Ex/TypeSchemes",
    21     "Ex/TypeVarsTest"
    21     "Ex/TypeVarsTest",
       
    22     "Ex/Foo1"
    22     ];
    23     ];