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