no_document use_thys ["../Nominal-General/Nominal2_Base", +− "../Nominal-General/Nominal2_Atoms", +− "../Nominal-General/Nominal2_Eqvt",+− "../Nominal-General/Nominal2_Supp",+− "../Nominal-General/Atoms", +− "LaTeXsugar"];+− +− use_thys ["Paper"];+−