added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*)

theory Appendix
imports Main
begin

text {* \appendix *}

chapter {* Recipes *}

end