quick_and_dirty := true;+− +− no_document use_thys+− ["Quotient",+− "Examples/AbsRepTest",+− "Examples/FSet",+− "Examples/FSet2",+− "Examples/FSet3",+− "Examples/IntEx",+− "Examples/IntEx2",+− "Examples/LFex",+− "Examples/LamEx",+− "Examples/LarryDatatype",+− "Examples/LarryInt",+− "Examples/Terms"];+−