properly commented out the "unused lemmas section" and moved actually used lemmas elsewhere; added two minor items to the TODO list
(*<*)
theory Paper
imports "../Quot/QuotMain"
begin
(*>*)
section {* Introduction *}
text {*
Here can come any text.
*}
(*<*)
end
(*>*)