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 USTypes
imports Main
begin


section {* User Space Type-Systems *}



end