1 quick_and_dirty := true;

     2 

     3 no_document use_thys

     4    ["Nominal2_Base",

     5     "Nominal2_Eqvt",

     6     "Nominal2_Atoms",

     7     "Nominal2_Supp",

     8     "Test"];