isabelle-cookbook: CookBook/Appendix.thy@76cdc8f562fc (annotated)

13 2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	1
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	theory Appendix
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	3	imports Main
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	begin
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	5
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	text {* \appendix *}
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	7
129 e0d368a45537 started a section about simprocs Christian Urban <urbanc@in.tum.de> parents: 73 diff changeset	8	text {*
e0d368a45537 started a section about simprocs Christian Urban <urbanc@in.tum.de> parents: 73 diff changeset	9	Possible topics: translations/print translations
e0d368a45537 started a section about simprocs Christian Urban <urbanc@in.tum.de> parents: 73 diff changeset	10	*}
e0d368a45537 started a section about simprocs Christian Urban <urbanc@in.tum.de> parents: 73 diff changeset	11
e0d368a45537 started a section about simprocs Christian Urban <urbanc@in.tum.de> parents: 73 diff changeset	12
13 2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	13	chapter {* Recipes *}
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	14
131 8db9195bb3e9 polished Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	15	text {*
8db9195bb3e9 polished Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	16	Possible topics: translations/print translations
8db9195bb3e9 polished Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	17
8db9195bb3e9 polished Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	18	User Space Type Systems (in the already existing form)
8db9195bb3e9 polished Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	19	*}
8db9195bb3e9 polished Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	20
13 2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	21	end
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	22
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	23
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	24
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	25

author	Christian Urban <urbanc@in.tum.de>
	Wed, 04 Mar 2009 13:15:29 +0000
changeset 157	76cdc8f562fc
parent 131	8db9195bb3e9
child 162	3fb9f820a294
permissions	-rw-r--r--