redefined the functions warning and tracing in order to properly match more antiquotations
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