1 

     2 theory Transformation

     3 imports Main

     4 begin

     5 

     6 

     7 section {* Ad-hoc Transformations of Theorems *}

     8 

     9 

    10 

    11 end

    12   

    13 

    14 

    15