--- a/CookBook/Recipes/USTypes.thy	Wed Mar 18 23:52:51 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-
-theory USTypes
-imports Main
-begin
-
-
-section {* User Space Type-Systems *}
-
-
-
-end
-  
-
-
-