added more material to the attribute section; merged the recipe about named theorems into the main body; added a solution to an exercise in the conversion section
theory Appendix
imports Main
begin
text {* \appendix *}
text {*
Possible topics: translations/print translations
*}
chapter {* Recipes *}
text {*
Possible topics: translations/print translations
User Space Type Systems (in the already existing form)
*}
end