diff -r 693711a0c702 -r e0d368a45537 CookBook/Appendix.thy
--- a/CookBook/Appendix.thy	Sat Feb 21 11:38:14 2009 +0000
+++ b/CookBook/Appendix.thy	Sun Feb 22 03:44:03 2009 +0000
@@ -5,6 +5,12 @@
 
 text {* \appendix *}
 
+text {*
+  Possible topics: translations/print translations
+
+*}
+
+
 chapter {* Recipes *}
 
 end