isabelle: src/Doc/ROOT@cd9afbd0ccb9 (annotated)

51397 03b586ee5930 support for 'chapter' specifications within session ROOT; wenzelm parents: 50426 diff changeset	1	chapter Doc
03b586ee5930 support for 'chapter' specifications within session ROOT; wenzelm parents: 50426 diff changeset	2
48950 9965099f51ad more standard document preparation within session context; wenzelm parents: 48949 diff changeset	3	session Classes (doc) in "Classes" = HOL +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	4	options [document_logo = "Isar", document_build = "build",
1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	5	document_variants = "classes", quick_and_dirty]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	6	theories [document = false] Setup
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	7	theories Classes
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	8	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	9	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	10	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	11	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	12	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	13	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	14	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	15	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	16	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	17	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	18	"style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	19
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	20	session Codegen (doc) in "Codegen" = HOL +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	21	options [document_logo = "Isar", document_build = "build",
1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	22	document_variants = "codegen", print_mode = "no_brackets,iff"]
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	23	sessions
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	24	"HOL-Library"
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	25	theories [document = false]
59378 065f349852e6 separate image for prerequisites of codegen tutorial haftmann parents: 59175 diff changeset	26	Setup
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	27	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	28	Introduction
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	29	Foundations
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	30	Refinement
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	31	Inductive_Predicate
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	32	Evaluation
65041 2525e680f94f basic documentation for computations haftmann parents: 64514 diff changeset	33	Computations
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	34	Adaptation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	35	Further
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	36	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	37	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	38	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	39	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	40	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	41	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	42	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	43	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	44	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	45	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	46	"style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	47
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	48	session Corec (doc) in "Corec" = Datatypes +
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73151 diff changeset	49	options [document_build = "build", document_variants = "corec"]
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	50	theories
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	51	Corec
62739 628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	52	document_files (in "..")
628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	53	"prepare_document"
628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	54	"pdfsetup.sty"
628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	55	"iman.sty"
628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	56	"extra.sty"
628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	57	"isar.sty"
628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	58	"manual.bib"
628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	59	document_files
628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	60	"build"
628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	61	"root.tex"
628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	62	"style.sty"
628c97d39627 added sketchy 'corec' documentation blanchet parents: 62640 diff changeset	63
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	64	session Datatypes (doc) in "Datatypes" = HOL +
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73151 diff changeset	65	options [document_build = "build", document_variants = "datatypes"]
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	66	sessions
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	67	"HOL-Library"
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	68	theories [document = false]
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	69	Setup
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	70	theories
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	71	Datatypes
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	72	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	73	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	74	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	75	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	76	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	77	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	78	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	79	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	80	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	81	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	82	"style.sty"
52792 3e651be14fcd sketched documentation for new (co)datatype package blanchet parents: 52742 diff changeset	83
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	84	session Eisbach (doc) in "Eisbach" = HOL +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	85	options [document_logo = "Eisbach", document_build = "build",
1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	86	document_variants = "eisbach", quick_and_dirty,
60288 d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	87	print_mode = "no_brackets,iff", show_question_marks = false]
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	88	sessions
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	89	"HOL-Eisbach"
60288 d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	90	theories [document = false]
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	91	Base
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	92	theories
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	93	Preface
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	94	Manual
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	95	document_files (in "..")
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	96	"prepare_document"
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	97	"pdfsetup.sty"
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	98	"iman.sty"
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	99	"extra.sty"
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	100	"isar.sty"
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	101	"ttbox.sty"
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	102	"underscore.sty"
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	103	"manual.bib"
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	104	document_files
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	105	"build"
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	106	"root.tex"
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	107	"style.sty"
d7f636331176 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; wenzelm parents: 60255 diff changeset	108
48948 fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	109	session Functions (doc) in "Functions" = HOL +
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73151 diff changeset	110	options [document_build = "build", document_variants = "functions",
52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73151 diff changeset	111	skip_proofs = false, quick_and_dirty]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	112	theories Functions
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	113	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	114	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	115	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	116	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	117	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	118	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	119	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	120	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	121	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	122	"conclusion.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	123	"intro.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	124	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	125	"style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	126
69105 b7274dfbf4b3 explicit group "no_doc" for unfinished documentation, allows to suppress everything uniformly: -X doc -X no_doc; wenzelm parents: 68677 diff changeset	127	session How_to_Prove_it (no_doc) in "How_to_Prove_it" = HOL +
73722 9e1de6fb9579 proper options; wenzelm parents: 73721 diff changeset	128	options [document_variants = "how_to_prove_it", show_question_marks = false]
56825 8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	129	theories
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	130	How_to_Prove_it
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	131	document_files
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	132	"root.tex"
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	133	"root.bib"
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	134	"prelude.tex"
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	135
48969 6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	136	session Intro (doc) in "Intro" = Pure +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	137	options [document_logo = "_", document_build = "build", document_variants = "intro"]
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	138	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	139	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	140	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	141	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	142	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	143	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	144	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	145	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	146	"advanced.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	147	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	148	"foundations.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	149	"getting.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	150	"root.tex"
48969 6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	151
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	152	session Implementation (doc) in "Implementation" = HOL +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	153	options [document_logo = "Isar", document_build = "build",
1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	154	document_variants = "implementation", quick_and_dirty]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	155	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	156	Eq
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	157	Integration
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	158	Isar
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	159	Local_Theory
67215 03d0c958d65a PIDE markup for session ROOT files; wenzelm parents: 67152 diff changeset	160	"ML"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	161	Prelim
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	162	Proof
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	163	Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	164	Tactic
52499 812215680f6d clarified Proofterm.proofs vs. Goal.skip_proofs; wenzelm parents: 52488 diff changeset	165	theories [parallel_proofs = 0]
52410 fb1fb867c146 more examples on proof terms; wenzelm parents: 51558 diff changeset	166	Logic
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	167	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	168	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	169	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	170	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	171	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	172	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	173	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	174	"underscore.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	175	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	176	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	177	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	178	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	179	"style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	180
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	181	session Isar_Ref (doc) in "Isar_Ref" = HOL +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	182	options [document_logo = "Isar", document_build = "build", document_variants = "isar-ref",
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73151 diff changeset	183	quick_and_dirty, thy_output_source]
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	184	sessions
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	185	"HOL-Library"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	186	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	187	Preface
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	188	Synopsis
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	189	Framework
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	190	First_Order_Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	191	Outer_Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	192	Document_Preparation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	193	Spec
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	194	Proof
60484 98ee86354354 moved sections; wenzelm parents: 60291 diff changeset	195	Proof_Script
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	196	Inner_Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	197	Generic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	198	HOL_Specific
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	199	Quick_Reference
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	200	Symbols
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	201	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	202	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	203	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	204	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	205	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	206	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	207	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	208	"underscore.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	209	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	210	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	211	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	212	"isar-vm.pdf"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	213	"isar-vm.svg"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	214	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	215	"showsymbols"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	216	"style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	217
54354 4e6defdc24ac more on automatically tried tools; wenzelm parents: 54331 diff changeset	218	session JEdit (doc) in "JEdit" = HOL +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	219	options [document_logo = "jEdit", document_build = "build",
1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	220	document_variants = "jedit", thy_output_source]
53769 036e80175bdd basic setup for Isabelle/jEdit documentation; wenzelm parents: 53618 diff changeset	221	theories
036e80175bdd basic setup for Isabelle/jEdit documentation; wenzelm parents: 53618 diff changeset	222	JEdit
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	223	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	224	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	225	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	226	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	227	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	228	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	229	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	230	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	231	"underscore.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	232	document_files (in "../Isar_Ref/document")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	233	"style.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	234	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	235	"auto-tools.png"
60255 0466bd194d74 more on Isabelle document preparation and bibtex files; wenzelm parents: 59405 diff changeset	236	"bibtex-mode.png"
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	237	"build"
60255 0466bd194d74 more on Isabelle document preparation and bibtex files; wenzelm parents: 59405 diff changeset	238	"cite-completion.png"
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	239	"isabelle-jedit.png"
62154 b855771b3979 updated old screenshots, added new screenshots; wenzelm parents: 62013 diff changeset	240	"markdown-document.png"
b855771b3979 updated old screenshots, added new screenshots; wenzelm parents: 62013 diff changeset	241	"ml-debugger.png"
b855771b3979 updated old screenshots, added new screenshots; wenzelm parents: 62013 diff changeset	242	"output-and-state.png"
b855771b3979 updated old screenshots, added new screenshots; wenzelm parents: 62013 diff changeset	243	"output-including-state.png"
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	244	"output.png"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	245	"popup1.png"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	246	"popup2.png"
62154 b855771b3979 updated old screenshots, added new screenshots; wenzelm parents: 62013 diff changeset	247	"query.png"
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	248	"root.tex"
64514 27914a4f8c70 more on "Formal scopes and semantic selection"; wenzelm parents: 63026 diff changeset	249	"scope1.png"
27914a4f8c70 more on "Formal scopes and semantic selection"; wenzelm parents: 63026 diff changeset	250	"scope2.png"
62154 b855771b3979 updated old screenshots, added new screenshots; wenzelm parents: 62013 diff changeset	251	"sidekick-document.png"
57336 e13c5dd9c7de added screenshot; wenzelm parents: 57330 diff changeset	252	"sidekick.png"
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	253	"sledgehammer.png"
57339 3bb94256e0ed added screenshot; wenzelm parents: 57336 diff changeset	254	"theories.png"
53769 036e80175bdd basic setup for Isabelle/jEdit documentation; wenzelm parents: 53618 diff changeset	255
56420 b266e7a86485 closer correspondence of document and session names, while maintaining document names for external reference haftmann parents: 55385 diff changeset	256	session Sugar (doc) in "Sugar" = HOL +
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73151 diff changeset	257	options [document_build = "build", document_variants = "sugar"]
65573 0f3fdf689bf9 clarified parent session images, to avoid duplicate loading of theories; wenzelm parents: 65569 diff changeset	258	sessions
0f3fdf689bf9 clarified parent session images, to avoid duplicate loading of theories; wenzelm parents: 65569 diff changeset	259	"HOL-Library"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	260	theories Sugar
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	261	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	262	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	263	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	264	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	265	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	266	"root.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	267	"root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	268
48943 54da920baf38 more standard document preparation within session context; wenzelm parents: 48942 diff changeset	269	session Locales (doc) in "Locales" = HOL +
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73151 diff changeset	270	options [document_build = "build", document_variants = "locales",
52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73151 diff changeset	271	thy_output_margin = 65, skip_proofs = false]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	272	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	273	Examples1
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	274	Examples2
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	275	Examples3
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	276	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	277	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	278	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	279	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	280	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	281	"root.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	282	"root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	283
48942 75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	284	session Logics (doc) in "Logics" = Pure +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	285	options [document_logo = "_", document_build = "build", document_variants = "logics"]
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	286	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	287	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	288	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	289	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	290	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	291	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	292	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	293	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	294	"CTT.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	295	"HOL.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	296	"LK.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	297	"Sequents.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	298	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	299	"preface.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	300	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	301	"syntax.tex"
48945 b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	302
56451 856492b0f755 even more standardized doc session names after #b266e7a86485 haftmann parents: 56420 diff changeset	303	session Logics_ZF (doc) in "Logics_ZF" = ZF +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	304	options [document_logo = "ZF", document_build = "build",
1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	305	document_variants = "logics-ZF", print_mode = "brackets", thy_output_source]
66444 6d2d993fa76e clarified imports; wenzelm parents: 65573 diff changeset	306	sessions
6d2d993fa76e clarified imports; wenzelm parents: 65573 diff changeset	307	FOL
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	308	theories
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	309	IFOL_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	310	FOL_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	311	ZF_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	312	If
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	313	ZF_Isar
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	314	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	315	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	316	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	317	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	318	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	319	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	320	document_files (in "../Logics/document")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	321	"syntax.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	322	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	323	"FOL.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	324	"ZF.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	325	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	326	"logics.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	327	"root.tex"
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	328
48944 ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	329	session Main (doc) in "Main" = HOL +
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73151 diff changeset	330	options [document_build = "build", document_variants = "main"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	331	theories Main_Doc
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	332	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	333	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	334	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	335	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	336	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	337	"root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	338
48963 f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	339	session Nitpick (doc) in "Nitpick" = Pure +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	340	options [document_logo = "Nitpick", document_build = "build", document_variants = "nitpick"]
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	341	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	342	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	343	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	344	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	345	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	346	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	347	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	348	"root.tex"
48963 f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	349
56451 856492b0f755 even more standardized doc session names after #b266e7a86485 haftmann parents: 56420 diff changeset	350	session Prog_Prove (doc) in "Prog_Prove" = HOL +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	351	options [document_logo = "HOL", document_build = "build",
1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	352	document_variants = "prog-prove", show_question_marks = false]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	353	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	354	Basics
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	355	Bool_nat_list
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	356	MyList
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	357	Types_and_funs
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	358	Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	359	Isar
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	360	document_files (in ".")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	361	"MyList.thy"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	362	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	363	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	364	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	365	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	366	"bang.pdf"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	367	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	368	"intro-isabelle.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	369	"prelude.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	370	"root.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	371	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	372	"svmono.cls"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	373
48962 a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	374	session Sledgehammer (doc) in "Sledgehammer" = Pure +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	375	options [document_logo = "S/H", document_build = "build", document_variants = "sledgehammer"]
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	376	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	377	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	378	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	379	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	380	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	381	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	382	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	383	"root.tex"
48962 a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	384
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	385	session System (doc) in "System" = Pure +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	386	options [document_logo = "_", document_build = "build",
1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	387	document_variants = "system", thy_output_source]
67219 81e9804b2014 added document antiquotation @{session name}; wenzelm parents: 67215 diff changeset	388	sessions
81e9804b2014 added document antiquotation @{session name}; wenzelm parents: 67215 diff changeset	389	"HOL-Library"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	390	theories
62640 e36cbe677c17 clarified name; wenzelm parents: 62363 diff changeset	391	Environment
48578 21361b6189a6 some description of isabelle build; wenzelm parents: 48526 diff changeset	392	Sessions
21361b6189a6 some description of isabelle build; wenzelm parents: 48526 diff changeset	393	Presentation
67904 465f43a9f780 documentation for the Isabelle server; wenzelm parents: 67219 diff changeset	394	Server
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	395	Scala
71099 20c1b9516d27 documentation on Phabricator server administration; wenzelm parents: 70678 diff changeset	396	Phabricator
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	397	Misc
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	398	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	399	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	400	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	401	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	402	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	403	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	404	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	405	"underscore.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	406	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	407	document_files (in "../Isar_Ref/document")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	408	"style.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	409	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	410	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	411	"root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	412
48985 5386df44a037 renamed doc-src to src/Doc; wenzelm parents: 48971 diff changeset	413	session Tutorial (doc) in "Tutorial" = HOL +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	414	options [document_logo = "HOL", document_build = "build",
1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	415	document_variants = "tutorial", print_mode = "brackets", skip_proofs = false]
70675 efd995488228 declare session directories; wenzelm parents: 69422 diff changeset	416	directories "Advanced" "CTL" "CodeGen" "Datatype" "Documents" "Fun" "Ifexpr"
efd995488228 declare session directories; wenzelm parents: 69422 diff changeset	417	"Inductive" "Misc" "Protocol" "Rules" "Sets" "ToyList" "Trie" "Types"
72991 d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: 72255 diff changeset	418	theories [document = false]
d0a0b74f0ad7 avoid multiple uses of the same ML file; wenzelm parents: 72255 diff changeset	419	Base
53376 1d4a46f1fced more robust ToyList_Test; wenzelm parents: 52822 diff changeset	420	theories [threads = 1]
1d4a46f1fced more robust ToyList_Test; wenzelm parents: 52822 diff changeset	421	"ToyList/ToyList_Test"
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	422	theories [thy_output_indent = 5]
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	423	"ToyList/ToyList"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	424	"Ifexpr/Ifexpr"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	425	"CodeGen/CodeGen"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	426	"Trie/Trie"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	427	"Datatype/ABexpr"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	428	"Datatype/unfoldnested"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	429	"Datatype/Nested"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	430	"Datatype/Fundata"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	431	"Fun/fun0"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	432	"Advanced/simp2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	433	"CTL/PDL"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	434	"CTL/CTL"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	435	"CTL/CTLind"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	436	"Inductive/Even"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	437	"Inductive/Mutual"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	438	"Inductive/Star"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	439	"Inductive/AB"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	440	"Inductive/Advanced"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	441	"Misc/Tree"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	442	"Misc/Tree2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	443	"Misc/Plus"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	444	"Misc/case_exprs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	445	"Misc/fakenat"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	446	"Misc/natsum"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	447	"Misc/pairs2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	448	"Misc/Option2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	449	"Misc/types"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	450	"Misc/prime_def"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	451	"Misc/simp"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	452	"Misc/Itrev"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	453	"Misc/AdvancedInd"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	454	"Misc/appendix"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	455	theories
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	456	"Protocol/NS_Public"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	457	"Documents/Documents"
59175 bf465f335e85 system option "pretty_margin" is superseded by "thy_output_margin"; wenzelm parents: 58801 diff changeset	458	theories [thy_output_margin = 64, thy_output_indent = 0]
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	459	"Types/Numbers"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	460	"Types/Pairs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	461	"Types/Records"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	462	"Types/Typedefs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	463	"Types/Overloading"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	464	"Types/Axioms"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	465	"Rules/Basic"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	466	"Rules/Blast"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	467	"Rules/Force"
59175 bf465f335e85 system option "pretty_margin" is superseded by "thy_output_margin"; wenzelm parents: 58801 diff changeset	468	theories [thy_output_margin = 64, thy_output_indent = 5]
55159 608c157d743d Replacing the theory Library/Binomial by Number_Theory/Binomial paulson <lp15@cam.ac.uk> parents: 55073 diff changeset	469	"Rules/TPrimes"
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	470	"Rules/Forward"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	471	"Rules/Tacticals"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	472	"Rules/find2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	473	"Sets/Examples"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	474	"Sets/Functions"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	475	"Sets/Relations"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	476	"Sets/Recur"
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	477	document_files (in "ToyList")
57083 5c26000e1042 more portable file names; wenzelm parents: 56825 diff changeset	478	"ToyList1.txt"
5c26000e1042 more portable file names; wenzelm parents: 56825 diff changeset	479	"ToyList2.txt"
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	480	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	481	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	482	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	483	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	484	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	485	"advanced0.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	486	"appendix0.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	487	"basics.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	488	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	489	"cl2emono-modified.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	490	"ctl0.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	491	"documents0.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	492	"fp.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	493	"inductive0.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	494	"isa-index"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	495	"Isa-logics.pdf"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	496	"numerics.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	497	"pghead.pdf"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	498	"preface.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	499	"protocol.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	500	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	501	"rules.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	502	"sets.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	503	"tutorial.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	504	"typedef.pdf"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	505	"types0.tex"
63026 9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	506
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	507	session Typeclass_Hierarchy (doc) in "Typeclass_Hierarchy" = HOL +
73723 1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	508	options [document_logo = "Isar", document_build = "build",
1bbbaae6b5e3 option document_logo; wenzelm parents: 73722 diff changeset	509	document_variants = "typeclass_hierarchy"]
69422 472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	510	sessions
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	511	"HOL-Library"
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	512	theories [document = false]
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	513	Setup
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	514	theories
472af2d7835d clarified session dependencies: faster build_doc/build_release; wenzelm parents: 69105 diff changeset	515	Typeclass_Hierarchy
63026 9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	516	document_files (in "..")
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	517	"prepare_document"
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	518	"pdfsetup.sty"
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	519	"iman.sty"
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	520	"extra.sty"
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	521	"isar.sty"
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	522	"manual.bib"
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	523	document_files
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	524	"build"
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	525	"root.tex"
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: 62739 diff changeset	526	"style.sty"

author	wenzelm
	Tue, 18 May 2021 15:57:49 +0200
changeset 73725	cd9afbd0ccb9
parent 73723	1bbbaae6b5e3
child 73734	f7f0d516df0c
permissions	-rw-r--r--