CookBook/Transformation.thy
changeset 12 2f1736cb8f26
equal deleted inserted replaced
11:733614e236a3 12:2f1736cb8f26
       
     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