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