moved get_fun into quotient_term; this simplifies the overall including structure of the package

no_document use_thys ["../Quot/QuotMain"];

use_thys ["Paper"];