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