tuned comments; renamed QUOT_TRUE to Quot_True; atomize_eqv seems to not be neccessary (has it been added to Isabelle)...it is now comented out and everything still works

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

use_thys ["Paper"];