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