+ −
theory Appendix+ −
imports Main+ −
begin+ −
+ −
text {* \appendix *}+ −
+ −
+ −
chapter {* Recipes *}+ −
+ −
text {*+ −
Possible further topics: + −
+ −
\begin{itemize}+ −
\item translations/print translations; + −
@{ML "ProofContext.print_syntax"}+ −
+ −
\item user space type systems (in the form that already exists)+ −
+ −
\item unification and typing algorithms+ −
+ −
\item useful datastructures: discrimination nets, association lists+ −
\end{itemize}+ −
*}+ −
+ −
end+ −