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