theory Appendix
imports Main
begin

text {* \appendix *}


chapter {* Recipes *}

text {*
  Possible further topics: 

  translations/print translations

  @{ML "ProofContext.print_syntax"}
  
  user space type systems (in the form that already exists)

  unification and typing algorithms

  useful datastructures:

  discrimination nets

  association lists
*}

end