Nominal/ROOT.ML
changeset 1795 e39453c8b186
parent 1774 c34347ec7ab3
child 1797 fddb470720f1
equal deleted inserted replaced
1794:d51aab59bfbf 1795:e39453c8b186
     7     "Ex/Ex1rec",
     7     "Ex/Ex1rec",
     8     "Ex/Ex2",
     8     "Ex/Ex2",
     9     "Ex/Ex3",
     9     "Ex/Ex3",
    10     "Ex/ExLet",
    10     "Ex/ExLet",
    11     "Ex/ExLetRec",
    11     "Ex/ExLetRec",
    12     "Ex/ExTySch",
    12     "Ex/TypeSchemes",
    13     "Ex/ExLeroy",
    13     "Ex/ExLeroy",
    14     "Ex/ExPS3",
    14     "Ex/ExPS3",
    15     "Ex/ExPS7",
    15     "Ex/ExPS7",
    16     "Ex/ExCoreHaskell",
    16     "Ex/ExCoreHaskell",
    17     "Ex/Test"
    17     "Ex/Test"