isabelle: doc/Contents@21e45c81e828 (annotated)

20831 4981b56f8cde restructured contents haftmann parents: 18555 diff changeset	1	Learning and using Isabelle
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	2	tutorial Tutorial on Isabelle/HOL
30459 52361140a0d1 tuned; wenzelm parents: 30457 diff changeset	3	main What's in Main
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	4	isar-overview Tutorial on Isar
5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	5	locales Tutorial on Locales
22736 4948e2bd67e5 added class tutorial haftmann parents: 21868 diff changeset	6	classes Tutorial on Type Classes
21868 54293c8ea022 added functions tutorial haftmann parents: 20950 diff changeset	7	functions Tutorial on Function Definitions
54293c8ea022 added functions tutorial haftmann parents: 20950 diff changeset	8	codegen Tutorial on Code Generation
33211 68e5b26cc140 added nitpick manual here; wenzelm parents: 30852 diff changeset	9	nitpick User's Guide to Nitpick in Isabelle/HOL
30467 afd0e5095c6b updated according to actual manual title; wenzelm parents: 30459 diff changeset	10	sugar LaTeX Sugar for Isabelle documents
14491 df007bdff9bf put in sections, reorganized, removed intro to isabelle kleing parents: 14001 diff changeset	11
df007bdff9bf put in sections, reorganized, removed intro to isabelle kleing parents: 14001 diff changeset	12	Reference Manuals
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	13	isar-ref The Isabelle/Isar Reference Manual
25244 42071ca3a14c added omission haftmann parents: 22736 diff changeset	14	implementation The Isabelle/Isar Implementation Manual
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	15	system The Isabelle System Manual
29747 bab2371e0348 explicit section for old/outdated manuals, which are still informative to some extent; wenzelm parents: 25248 diff changeset	16
30852 59a422908e29 misc tuning for release; wenzelm parents: 30467 diff changeset	17	Old Manuals (outdated)
30118 df610709eda5 more explicit indication of old manuals; wenzelm parents: 29747 diff changeset	18	intro Old Introduction to Isabelle
df610709eda5 more explicit indication of old manuals; wenzelm parents: 29747 diff changeset	19	ref Old Isabelle Reference Manual
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	20	logics Isabelle's Logics: overview and misc logics
5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	21	logics-HOL Isabelle's Logics: HOL
5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	22	logics-ZF Isabelle's Logics: FOL and ZF
29747 bab2371e0348 explicit section for old/outdated manuals, which are still informative to some extent; wenzelm parents: 25248 diff changeset	23	ind-defs (Co)Inductive Definitions in ZF

author	huffman
	Mon, 22 Mar 2010 15:45:54 -0700
changeset 35908	21e45c81e828
parent 33211	68e5b26cc140
child 36930	15d9f4373f78
permissions	-rw-r--r--