on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file

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

use_thys ["Paper"];