
diff -r 6dafb0815ae6 -r 84d1392186d3 CookBook/Recipes/Transformation.thy
--- a/CookBook/Recipes/Transformation.thy	Wed Feb 25 21:55:08 2009 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-
-theory Transformation
-imports Main
-begin
-
-
-section {* Ad-hoc Transformations of Theorems *}
-
-
-
-end
-  
-
-
-




