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 Appendiximports Mainbegintext {* \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