with "isabelle make keywords" you can create automatically a "quot" keywordfile, provided all Logics are in place

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

use_thys ["Paper"];