+− theory Transformation+− imports Main+− begin+− +− +− section {* Ad-hoc Transformations of Theorems *}+− +− +− +− end+− +− +− +− +−