CookBook/Appendix.thy
author Christian Urban <urbanc@in.tum.de>
Wed, 29 Oct 2008 21:49:43 +0100
changeset 45 78aeca00bb54
parent 13 2b07da8b310d
child 73 bcbcf5c839ae
permissions -rw-r--r--
deleted old antiquote_setup and renamed antiquote_setup_plus to antiquuote_setup


theory Appendix
imports Main
begin

text {* \appendix *}

chapter {* Recipes *}


end