isabelle: src/Doc/ROOT@d8a64a4cbfca (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 +
55385 169e12bbf9a3 discontinued axiomatic 'classes', 'classrel', 'arities'; wenzelm parents: 55159 diff changeset	4	options [document_variants = "classes", quick_and_dirty]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	5	theories [document = false] Setup
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	6	theories Classes
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	7	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	8	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	9	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	10	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	11	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	12	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	13	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	14	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	15	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	16	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	17	"style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	18
48951 b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	19	session Codegen (doc) in "Codegen" = "HOL-Library" +
b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	20	options [document_variants = "codegen", print_mode = "no_brackets,iff"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	21	theories [document = false] Setup
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	22	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	23	Introduction
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	24	Foundations
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	25	Refinement
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	26	Inductive_Predicate
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	27	Evaluation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	28	Adaptation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	29	Further
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	30	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	31	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	32	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	33	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	34	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	35	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	36	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	37	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	38	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	39	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	40	"style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	41
55073 9b96fb4c8cfd reduced dependencies + updated docs blanchet parents: 54354 diff changeset	42	session Datatypes (doc) in "Datatypes" = HOL +
53618 4161d2b96b8c removed accidentally submitted line blanchet parents: 53617 diff changeset	43	options [document_variants = "datatypes"]
52822 ae938ac9a721 more (co)datatype docs blanchet parents: 52792 diff changeset	44	theories [document = false] Setup
52792 3e651be14fcd sketched documentation for new (co)datatype package blanchet parents: 52742 diff changeset	45	theories Datatypes
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	46	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	47	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	48	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	49	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	50	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	51	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	52	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	53	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	54	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	55	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	56	"style.sty"
52792 3e651be14fcd sketched documentation for new (co)datatype package blanchet parents: 52742 diff changeset	57
48948 fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	58	session Functions (doc) in "Functions" = HOL +
54017 2a3c07f49615 basic documentation for function elimination rules and fun_cases krauss parents: 53769 diff changeset	59	options [document_variants = "functions", skip_proofs = false, quick_and_dirty]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	60	theories Functions
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	61	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	62	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	63	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	64	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	65	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	66	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	67	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	68	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	69	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	70	"conclusion.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	71	"intro.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	72	"mathpartir.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	73	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	74	"style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	75
56825 8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	76	session How_to_Prove_it (doc) in "How_to_Prove_it" = HOL +
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	77	options [document_variants = "how_to_prove_it", show_question_marks = false]
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	78	theories
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	79	How_to_Prove_it
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	80	document_files
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	81	"root.tex"
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	82	"root.bib"
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	83	"prelude.tex"
8872e0776e97 more standard doc session specification; wenzelm parents: 56534 diff changeset	84
48969 6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	85	session Intro (doc) in "Intro" = Pure +
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	86	options [document_variants = "intro"]
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	87	theories
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	88	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	89	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	90	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	91	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	92	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	93	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	94	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	95	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	96	"advanced.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	97	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	98	"foundations.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	99	"getting.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	100	"root.tex"
48969 6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	101
56420 b266e7a86485 closer correspondence of document and session names, while maintaining document names for external reference haftmann parents: 55385 diff changeset	102	session Implementation (doc) in "Implementation" = "HOL-Proofs" +
48938 d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	103	options [document_variants = "implementation"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	104	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	105	Eq
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	106	Integration
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	107	Isar
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	108	Local_Theory
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	109	ML
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	110	Prelim
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	111	Proof
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	112	Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	113	Tactic
52499 812215680f6d clarified Proofterm.proofs vs. Goal.skip_proofs; wenzelm parents: 52488 diff changeset	114	theories [parallel_proofs = 0]
52410 fb1fb867c146 more examples on proof terms; wenzelm parents: 51558 diff changeset	115	Logic
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	116	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	117	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	118	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	119	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	120	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	121	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	122	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	123	"underscore.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	124	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	125	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	126	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	127	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	128	"style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	129
56451 856492b0f755 even more standardized doc session names after #b266e7a86485 haftmann parents: 56420 diff changeset	130	session Isar_Ref (doc) in "Isar_Ref" = HOL +
48958 12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	131	options [document_variants = "isar-ref", quick_and_dirty, thy_output_source]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	132	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	133	Preface
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	134	Synopsis
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	135	Framework
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	136	First_Order_Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	137	Outer_Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	138	Document_Preparation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	139	Spec
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	140	Proof
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	141	Inner_Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	142	Misc
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	143	Generic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	144	HOL_Specific
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	145	Quick_Reference
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	146	Symbols
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	147	ML_Tactic
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	148	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	149	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	150	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	151	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	152	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	153	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	154	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	155	"underscore.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	156	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	157	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	158	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	159	"isar-vm.pdf"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	160	"isar-vm.svg"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	161	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	162	"showsymbols"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	163	"style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	164
54354 4e6defdc24ac more on automatically tried tools; wenzelm parents: 54331 diff changeset	165	session JEdit (doc) in "JEdit" = HOL +
53769 036e80175bdd basic setup for Isabelle/jEdit documentation; wenzelm parents: 53618 diff changeset	166	options [document_variants = "jedit", thy_output_source]
036e80175bdd basic setup for Isabelle/jEdit documentation; wenzelm parents: 53618 diff changeset	167	theories
036e80175bdd basic setup for Isabelle/jEdit documentation; wenzelm parents: 53618 diff changeset	168	JEdit
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	169	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	170	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	171	"iman.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	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	174	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	175	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	176	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	177	"underscore.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	178	document_files (in "../Isar_Ref/document")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	179	"style.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	180	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	181	"auto-tools.png"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	182	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	183	"isabelle-jedit.png"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	184	"output.png"
57312 afbc20986435 updated screenshots; wenzelm parents: 57083 diff changeset	185	"query.png"
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	186	"popup1.png"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	187	"popup2.png"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	188	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	189	"sledgehammer.png"
53769 036e80175bdd basic setup for Isabelle/jEdit documentation; wenzelm parents: 53618 diff changeset	190
56420 b266e7a86485 closer correspondence of document and session names, while maintaining document names for external reference haftmann parents: 55385 diff changeset	191	session Sugar (doc) in "Sugar" = HOL +
48949 a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	192	options [document_variants = "sugar"]
a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	193	theories [document = ""]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	194	"~~/src/HOL/Library/LaTeXsugar"
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	195	"~~/src/HOL/Library/OptionalSugar"
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	196	theories Sugar
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	197	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	198	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	199	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	200	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	201	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	202	"mathpartir.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	203	"root.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	204	"root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	205
48943 54da920baf38 more standard document preparation within session context; wenzelm parents: 48942 diff changeset	206	session Locales (doc) in "Locales" = HOL +
51558 91f8bed6d0a4 allow build with skip_proofs enabled -- disable it for sessions that would fail due to embedded diagnostic commands, for example; wenzelm parents: 51397 diff changeset	207	options [document_variants = "locales", pretty_margin = 65, skip_proofs = false]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	208	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	209	Examples1
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	210	Examples2
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	211	Examples3
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	212	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	213	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	214	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	215	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	216	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	217	"root.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	218	"root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	219
48942 75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	220	session Logics (doc) in "Logics" = Pure +
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	221	options [document_variants = "logics"]
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	222	theories
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	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	225	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	226	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	227	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	228	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	229	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	230	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	231	"CTT.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	232	"HOL.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	233	"LK.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	234	"Sequents.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	235	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	236	"preface.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	237	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	238	"syntax.tex"
48945 b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	239
56451 856492b0f755 even more standardized doc session names after #b266e7a86485 haftmann parents: 56420 diff changeset	240	session Logics_ZF (doc) in "Logics_ZF" = ZF +
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	241	options [document_variants = "logics-ZF", print_mode = "brackets",
d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	242	thy_output_source]
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	243	theories
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	244	IFOL_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	245	FOL_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	246	ZF_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	247	If
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	248	ZF_Isar
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	249	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	250	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	251	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	252	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	253	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	254	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	255	document_files (in "../Logics/document")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	256	"syntax.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	257	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	258	"FOL.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	259	"ZF.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	260	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	261	"logics.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	262	"root.tex"
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	263
48944 ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	264	session Main (doc) in "Main" = HOL +
ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	265	options [document_variants = "main"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	266	theories Main_Doc
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	267	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	268	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	269	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	270	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	271	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	272	"root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	273
48963 f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	274	session Nitpick (doc) in "Nitpick" = Pure +
f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	275	options [document_variants = "nitpick"]
f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	276	theories
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	277	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	278	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	279	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	280	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	281	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	282	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	283	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	284	"root.tex"
48963 f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	285
56451 856492b0f755 even more standardized doc session names after #b266e7a86485 haftmann parents: 56420 diff changeset	286	session Prog_Prove (doc) in "Prog_Prove" = HOL +
48947 7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	287	options [document_variants = "prog-prove", show_question_marks = false]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	288	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	289	Basics
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	290	Bool_nat_list
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	291	MyList
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	292	Types_and_funs
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	293	Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	294	Isar
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	295	document_files (in ".")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	296	"MyList.thy"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	297	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	298	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	299	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	300	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	301	"bang.pdf"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	302	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	303	"intro-isabelle.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	304	"mathpartir.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	305	"prelude.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	306	"root.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	307	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	308	"svmono.cls"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	309
48962 a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	310	session Sledgehammer (doc) in "Sledgehammer" = Pure +
a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	311	options [document_variants = "sledgehammer"]
a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	312	theories
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	313	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	314	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	315	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	316	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	317	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	318	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	319	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	320	"root.tex"
48962 a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	321
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	322	session System (doc) in "System" = Pure +
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	323	options [document_variants = "system", thy_output_source]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	324	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	325	Basics
48578 21361b6189a6 some description of isabelle build; wenzelm parents: 48526 diff changeset	326	Sessions
21361b6189a6 some description of isabelle build; wenzelm parents: 48526 diff changeset	327	Presentation
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	328	Scala
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	329	Misc
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	330	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	331	"prepare_document"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	332	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	333	"iman.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	334	"extra.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	335	"isar.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	336	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	337	"underscore.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	338	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	339	document_files (in "../Isar_Ref/document")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	340	"style.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	341	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	342	"browser_screenshot.png"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	343	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	344	"root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	345
48985 5386df44a037 renamed doc-src to src/Doc; wenzelm parents: 48971 diff changeset	346	session Tutorial (doc) in "Tutorial" = HOL +
51558 91f8bed6d0a4 allow build with skip_proofs enabled -- disable it for sessions that would fail due to embedded diagnostic commands, for example; wenzelm parents: 51397 diff changeset	347	options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false]
53376 1d4a46f1fced more robust ToyList_Test; wenzelm parents: 52822 diff changeset	348	theories [threads = 1]
1d4a46f1fced more robust ToyList_Test; wenzelm parents: 52822 diff changeset	349	"ToyList/ToyList_Test"
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	350	theories [thy_output_indent = 5]
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	351	"ToyList/ToyList"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	352	"Ifexpr/Ifexpr"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	353	"CodeGen/CodeGen"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	354	"Trie/Trie"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	355	"Datatype/ABexpr"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	356	"Datatype/unfoldnested"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	357	"Datatype/Nested"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	358	"Datatype/Fundata"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	359	"Fun/fun0"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	360	"Advanced/simp2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	361	"CTL/PDL"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	362	"CTL/CTL"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	363	"CTL/CTLind"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	364	"Inductive/Even"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	365	"Inductive/Mutual"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	366	"Inductive/Star"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	367	"Inductive/AB"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	368	"Inductive/Advanced"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	369	"Misc/Tree"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	370	"Misc/Tree2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	371	"Misc/Plus"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	372	"Misc/case_exprs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	373	"Misc/fakenat"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	374	"Misc/natsum"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	375	"Misc/pairs2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	376	"Misc/Option2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	377	"Misc/types"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	378	"Misc/prime_def"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	379	"Misc/simp"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	380	"Misc/Itrev"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	381	"Misc/AdvancedInd"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	382	"Misc/appendix"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	383	theories
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	384	"Protocol/NS_Public"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	385	"Documents/Documents"
48966 6e15de7dd871 more standard document preparation within session context: avoid clashes with generated .tex files, even on case-insensible file-system; wenzelm parents: 48963 diff changeset	386	theories [document = ""]
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	387	"Types/Setup"
48611 b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	388	theories [pretty_margin = 64, thy_output_indent = 0]
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	389	"Types/Numbers"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	390	"Types/Pairs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	391	"Types/Records"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	392	"Types/Typedefs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	393	"Types/Overloading"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	394	"Types/Axioms"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	395	"Rules/Basic"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	396	"Rules/Blast"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	397	"Rules/Force"
48611 b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	398	theories [pretty_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	399	"Rules/TPrimes"
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	400	"Rules/Forward"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	401	"Rules/Tacticals"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	402	"Rules/find2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	403	"Sets/Examples"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	404	"Sets/Functions"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	405	"Sets/Relations"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	406	"Sets/Recur"
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	407	document_files (in "ToyList")
57083 5c26000e1042 more portable file names; wenzelm parents: 56825 diff changeset	408	"ToyList1.txt"
5c26000e1042 more portable file names; wenzelm parents: 56825 diff changeset	409	"ToyList2.txt"
56534 3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	410	document_files (in "..")
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	411	"pdfsetup.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	412	"ttbox.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	413	"manual.bib"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	414	document_files
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	415	"advanced0.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	416	"appendix0.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	417	"basics.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	418	"build"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	419	"cl2emono-modified.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	420	"ctl0.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	421	"documents0.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	422	"fp.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	423	"inductive0.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	424	"isa-index"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	425	"Isa-logics.pdf"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	426	"numerics.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	427	"pghead.pdf"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	428	"preface.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	429	"protocol.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	430	"root.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	431	"rules.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	432	"sets.tex"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	433	"tutorial.sty"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	434	"typedef.pdf"
3ff16a7f0b2e more formal dependencies via 'document_files'; wenzelm parents: 56451 diff changeset	435	"types0.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	436

author	wenzelm
	Mon, 16 Jun 2014 12:52:20 +0200
changeset 57330	d8a64a4cbfca
parent 57312	afbc20986435
child 57336	e13c5dd9c7de
permissions	-rw-r--r--