+
−
theory Appendix+
−
imports Main+
−
begin+
−
+
−
text {* \appendix *}+
−
+
−
chapter {* Recipes *}+
−
+
−
end+
−
  +
−
+
−
+
−
+
−