quick_and_dirty := true;+− +− no_document use_thys+− ["Ex/Lambda",+− "Ex/ExLF",+− "Ex/Ex1",+− "Ex/Ex1rec",+− "Ex/Ex2",+− "Ex/Ex3",+− "Ex/ExLet",+− "Ex/ExLetRec",+− "Ex/TypeSchemes",+− "Ex/ExLeroy",+− "Ex/ExPS3",+− "Ex/ExPS7",+− "Ex/ExCoreHaskell",+− "Ex/Test"+− (* "Ex/ExPS6", *)+− ];+−