
diff -r a21d7b300616 -r 8db9195bb3e9 CookBook/Appendix.thy
--- a/CookBook/Appendix.thy	Sun Feb 22 13:37:47 2009 +0000
+++ b/CookBook/Appendix.thy	Mon Feb 23 00:27:27 2009 +0000
@@ -7,12 +7,17 @@
 
 text {*
   Possible topics: translations/print translations
-
 *}
 
 
 chapter {* Recipes *}
 
+text {*
+  Possible topics: translations/print translations
+  
+  User Space Type Systems (in the already existing form)
+*}
+
 end
   
 




