isabelle-cookbook: CookBook/Appendix.thy@3fb9f820a294 (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
13 2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	9	chapter {* Recipes *}
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	10
131 8db9195bb3e9 polished Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	11	text {*
162 3fb9f820a294 some additions to the simplifier section and general tuning Christian Urban <urbanc@in.tum.de> parents: 131 diff changeset	12	Possible further topics:
3fb9f820a294 some additions to the simplifier section and general tuning Christian Urban <urbanc@in.tum.de> parents: 131 diff changeset	13
3fb9f820a294 some additions to the simplifier section and general tuning Christian Urban <urbanc@in.tum.de> parents: 131 diff changeset	14	translations/print translations
3fb9f820a294 some additions to the simplifier section and general tuning Christian Urban <urbanc@in.tum.de> parents: 131 diff changeset	15
3fb9f820a294 some additions to the simplifier section and general tuning Christian Urban <urbanc@in.tum.de> parents: 131 diff changeset	16	@{ML "ProofContext.print_syntax"}
131 8db9195bb3e9 polished Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	17
162 3fb9f820a294 some additions to the simplifier section and general tuning Christian Urban <urbanc@in.tum.de> parents: 131 diff changeset	18	user space type systems (in the form that already exists)
3fb9f820a294 some additions to the simplifier section and general tuning Christian Urban <urbanc@in.tum.de> parents: 131 diff changeset	19
3fb9f820a294 some additions to the simplifier section and general tuning Christian Urban <urbanc@in.tum.de> parents: 131 diff changeset	20	unification and typing algorithms
131 8db9195bb3e9 polished Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	21	*}
8db9195bb3e9 polished Christian Urban <urbanc@in.tum.de> parents: 129 diff changeset	22
13 2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	23	end
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
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	26
2b07da8b310d polished and added a subdirectory for the recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	27

author	Christian Urban <urbanc@in.tum.de>
	Fri, 06 Mar 2009 21:52:17 +0000
changeset 162	3fb9f820a294
parent 131	8db9195bb3e9
child 164	3f617d7a2691
permissions	-rw-r--r--