quick_and_dirty := true;+− +− (*+− no_document use_thys+− ["Ex/Lambda",+− "Ex/LF",+− "Ex/SingleLet",+− "Ex/Ex1rec",+− "Ex/Ex2",+− "Ex/Ex3",+− "Ex/ExLet",+− "Ex/ExLetRec",+− "Ex/TypeSchemes",+− "Ex/Modules",+− "Ex/ExPS3",+− "Ex/ExPS7",+− "Ex/CoreHaskell",+− "Ex/Test"(*,+− "Manual/Term4"*)+− ];+− *)+−