quick_and_dirty := true;+− +− no_document use_thys+− ["QuotMain",+− "Examples/FSet",+− "Examples/FSet2",+− "Examples/IntEx",+− "Examples/IntEx2",+− "Examples/LFex",+− "Examples/LamEx",+− "Examples/Larry"];+−