no_document use_thys ["Quotient", 
                      "LaTeXsugar",
                      "../Nominal/FSet" ];

use_thys ["Paper"];