1 quick_and_dirty := true;

     2 

     3 no_document use_thys

     4    ["Quotient",

     5     "Examples/AbsRepTest",

     6     "Examples/FSet",

     7     "Examples/FSet2",

     8     "Examples/FSet3",

     9     "Examples/IntEx",

    10     "Examples/IntEx2",

    11     "Examples/LFex",

    12     "Examples/LamEx",

    13     "Examples/LarryDatatype",

    14     "Examples/LarryInt",

    15     "Examples/Terms"];