1 quick_and_dirty := true;

     1 quick_and_dirty := true;

     2 

     2 

     3 no_document use_thys

     3 no_document use_thys

     4    ["QuotMain",

     4    ["QuotMain",

     5     "Examples/FSet",

     5     "Examples/FSet",

     6     "Examples/IntEx",

     7     "Examples/IntEx",

     7     "Examples/IntEx2",

     8     "Examples/IntEx2",

     8     "Examples/LFex",

     9     "Examples/LFex",

     9     "Examples/LamEx"];

    10     "Examples/LamEx"];