
diff -r 2f1736cb8f26 -r 2b07da8b310d CookBook/Transformation.thy
--- a/CookBook/Transformation.thy	Wed Oct 01 15:40:20 2008 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-
-theory Transformation
-imports Main
-begin
-
-
-text_raw {* 
-
-\section*{Ad-hoc Transformation of Theorems} 
-*}
-
-
-
-end
-  
-
-
-




