+
−
theory Appendix+
−
imports Main+
−
begin+
−
+
−
text {* \appendix *}+
−
+
−
text {*+
−
  Possible topics: translations/print translations+
−
*}+
−
+
−
+
−
chapter {* Recipes *}+
−
+
−
text {*+
−
  Possible topics: translations/print translations+
−
  +
−
  User Space Type Systems (in the already existing form)+
−
*}+
−
+
−
end+
−
  +
−
+
−
+
−
+
−