1 (*<*)

     2 theory Paper

     3 imports "../thys/TM_Assemble"

     4 begin

     5 (*>*)

     6 

     7 text {*

     8   Start paper

     9 *}

    10 

    11 (*<*)

    12 end

    13 (*>*)