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