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"];