1 

     1 

     2 

     2 

     3 no_document use_thys

     3 no_document use_thys

     4    ["Ex/Classical",    

     4    ["Ex/Classical",    

     5     "Ex/CoreHaskell",

     5     "Ex/CoreHaskell",

     6     "Ex/ExPS3",

     7     "Ex/ExPS3",

     7     "Ex/ExPS7",

     8     "Ex/ExPS7",

     8     "Ex/ExPS8",

     9     "Ex/ExPS8",

     9     "Ex/LF",

    10     "Ex/LF",

    10     "Ex/Lambda",

    11     "Ex/Lambda",

    11     "Ex/Let",

    12     "Ex/Let",

    12     "Ex/LetPat",

    13     "Ex/LetPat",

    13     "Ex/LetRec",

    14     "Ex/LetRec",

    14     "Ex/LetRec2",

    15     "Ex/LetRec2",

    15     "Ex/Modules",

    17     "Ex/Modules",

    16     "Ex/SingleLet",

    18     "Ex/SingleLet",

    17     "Ex/TypeSchemes",

    19     "Ex/TypeSchemes",

    18     "Ex/TypeVarsTest"

    20     "Ex/TypeVarsTest"

    19     ];

    21     ];