1 (*<*)

     2 theory Paper

     3 imports "../Quot/QuotMain"

     4 begin

     5 (*>*)

     6 

     7 section {* Introduction *}

     8 

     9 text {*

    10   Here can come any text.

    11 

    12 *}

    13 

    14 (*<*)

    15 end

    16 (*>*)