1 

     2 theory Transformation

     3 imports Main

     4 begin

     5 

     6 

     7 text_raw {* 

     8 

     9 \section*{Ad-hoc Transformation of Theorems} 

    10 *}

    11 

    12 

    13 

    14 end

    15   

    16 

    17 

    18