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