1 no_document use_thys ["../Quot/QuotMain"];

     1 quick_and_dirty := true;

     2 

     2 no_document use_thys ["../Nominal/Test"];