removed rep_ss, and used dest_ss instead; some very slight changes to simple_inductive
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
*}
end