1 

     2 use_thys ["../Nominal/Nominal2_Base", 

     3           "../Nominal/Atoms", 

     4           "../Nominal/Nominal2_Abs",

     5           "~~/src/HOL/Library/LaTeXsugar"];