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