tuned signature;

tuned;

clarified modules;

clarified module;
more parallel processing;

added isabelle build option -k, for fast off-line checking of theory sources;