isabelle: doc/Contents@0260bdba4dd7 (annotated)

50174 fe84e830866e more uniform title, follow-up to 928cb8b35e6e; wenzelm parents: 48964 diff changeset	1	Tutorials
47323 365521737b6a prefer prog-prove, suppress isar-overview; wenzelm parents: 47320 diff changeset	2	prog-prove Programming and Proving in Isabelle/HOL
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	3	tutorial Tutorial on Isabelle/HOL
5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	4	locales Tutorial on Locales
22736 4948e2bd67e5 added class tutorial haftmann parents: 21868 diff changeset	5	classes Tutorial on Type Classes
21868 54293c8ea022 added functions tutorial haftmann parents: 20950 diff changeset	6	functions Tutorial on Function Definitions
54293c8ea022 added functions tutorial haftmann parents: 20950 diff changeset	7	codegen Tutorial on Code Generation
36930 15d9f4373f78 added Sledgehammer documentation to TOC blanchet parents: 33211 diff changeset	8	nitpick User's Guide to Nitpick
15d9f4373f78 added Sledgehammer documentation to TOC blanchet parents: 33211 diff changeset	9	sledgehammer User's Guide to Sledgehammer
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
47320 928cb8b35e6e formal integration of "prog-prove" manual; wenzelm parents: 44801 diff changeset	12	Reference Manuals
928cb8b35e6e formal integration of "prog-prove" manual; wenzelm parents: 44801 diff changeset	13	main What's in Main
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	14	isar-ref The Isabelle/Isar Reference Manual
25244 42071ca3a14c added omission haftmann parents: 22736 diff changeset	15	implementation The Isabelle/Isar Implementation Manual
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	16	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	17
30852 59a422908e29 misc tuning for release; wenzelm parents: 30467 diff changeset	18	Old Manuals (outdated)
30118 df610709eda5 more explicit indication of old manuals; wenzelm parents: 29747 diff changeset	19	intro Old Introduction to Isabelle
52552 0260bdba4dd7 reduced number of old manuals: chapter HOL is back again to the Logics manual by Larry; wenzelm parents: 52415 diff changeset	20	logics Isabelle's Logics: HOL and misc logics
18555 5f216b70215f added implementation manual; wenzelm parents: 15375 diff changeset	21	logics-ZF Isabelle's Logics: FOL and ZF
48964 3ec847562782 removed historic manual; wenzelm parents: 47323 diff changeset	22

author	wenzelm
	Sun, 07 Jul 2013 20:23:09 +0200
changeset 52552	0260bdba4dd7
parent 52415	d9fed6e99a57
child 52792	3e651be14fcd
permissions	-rw-r--r--