(*<*)+− theory Paper+− imports "../Quot/QuotMain"+− begin+− (*>*)+− +− section {* Introduction *}+− +− text {*+− Here can come any text.+− +− *}+− +− (*<*)+− end+− (*>*)+−