CookBook/Appendix.thy
author Christian Urban <urbanc@in.tum.de>
Mon, 20 Oct 2008 06:22:11 +0000 (2008-10-20)
changeset 41 b11653b11bd3
parent 13 2b07da8b310d
child 73 bcbcf5c839ae
permissions -rw-r--r--
further progress on the parsing section and tuning on the antiqu's

theory Appendix
imports Main
begin

text {* \appendix *}

chapter {* Recipes *}


end