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+ −
+ −
+ −
+ −
+ −