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"+− ];+−