1 no_document use_thys ["../Nominal-General/Nominal2_Base", 

     1 no_document use_thys ["../Nominal-General/Nominal2_Base", 

     2                       "../Nominal-General/Nominal2_Atoms", 

     2                       "../Nominal-General/Nominal2_Atoms", 

     3                       "../Nominal-General/Nominal2_Eqvt",

     3                       "../Nominal-General/Nominal2_Eqvt",

     4                       "../Nominal-General/Atoms", 

     5                       "../Nominal-General/Atoms", 

     5                       "LaTeXsugar"];

     6                       "LaTeXsugar"];

     6 

     7 

     7 use_thys ["Paper"];

     8 use_thys ["Paper"];