theory Appendiximports Basebegintext \<open>\appendix\<close>chapter \<open>Recipes\<close>text \<open> Possible topics: \begin{itemize} \item translations/print translations; @{ML \<open>Proof_Context.print_syntax\<close>} \item user space type systems (in the form that already exists) \item useful datastructures: discrimination nets, graphs, association lists \item Brief history of Isabelle \end{itemize}\<close>end