quick_and_dirty := true;+− +− no_document use_thys+− ["Nominal2_Base",+− "Nominal2_Eqvt",+− "Nominal2_Atoms",+− "Nominal2_Supp",+− "Test"];+−