isabelle: doc-src/ROOT@12afbf6eb7f9 (annotated)

48950 9965099f51ad more standard document preparation within session context; wenzelm parents: 48949 diff changeset	1	session Classes (doc) in "Classes" = HOL +
9965099f51ad more standard document preparation within session context; wenzelm parents: 48949 diff changeset	2	options [document_variants = "classes"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	3	theories [document = false] Setup
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	4	theories Classes
48950 9965099f51ad more standard document preparation within session context; wenzelm parents: 48949 diff changeset	5	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	6	"../pdfsetup.sty"
48950 9965099f51ad more standard document preparation within session context; wenzelm parents: 48949 diff changeset	7	"document/build"
9965099f51ad more standard document preparation within session context; wenzelm parents: 48949 diff changeset	8	"document/root.tex"
9965099f51ad more standard document preparation within session context; wenzelm parents: 48949 diff changeset	9	"document/style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	10
48951 b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	11	session Codegen (doc) in "Codegen" = "HOL-Library" +
b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	12	options [document_variants = "codegen", print_mode = "no_brackets,iff"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	13	theories [document = false] Setup
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	14	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	15	Introduction
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	16	Foundations
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	17	Refinement
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	18	Inductive_Predicate
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	19	Evaluation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	20	Adaptation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	21	Further
48951 b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	22	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	23	"../pdfsetup.sty"
48954 c548d26daa8c avoid clash with generated Adaptation.tex on case-insensible file-systems; wenzelm parents: 48951 diff changeset	24	"document/adapt.tex"
48951 b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	25	"document/architecture.tex"
b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	26	"document/build"
b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	27	"document/root.tex"
b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	28	"document/style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	29
48948 fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	30	session Functions (doc) in "Functions" = HOL +
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	31	options [document_variants = "functions"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	32	theories Functions
48948 fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	33	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	34	"../pdfsetup.sty"
48948 fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	35	"../iman.sty"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	36	"../extra.sty"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	37	"../isar.sty"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	38	"../manual.bib"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	39	"document/build"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	40	"document/conclusion.tex"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	41	"document/intro.tex"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	42	"document/mathpartir.sty"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	43	"document/root.tex"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	44	"document/style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	45
48938 d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	46	session IsarImplementation (doc) in "IsarImplementation" = HOL +
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	47	options [document_variants = "implementation"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	48	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	49	Eq
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	50	Integration
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	51	Isar
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	52	Local_Theory
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	53	Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	54	ML
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	55	Prelim
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	56	Proof
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	57	Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	58	Tactic
48938 d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	59	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	60	"../pdfsetup.sty"
48938 d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	61	"../iman.sty"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	62	"../extra.sty"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	63	"../isar.sty"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	64	"../proof.sty"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	65	"../underscore.sty"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	66	"../ttbox.sty"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	67	"../manual.bib"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	68	"document/build"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	69	"document/root.tex"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	70	"document/style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	71
48941 fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	72	session Intro (doc) in "Intro" = Pure +
fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	73	options [document_variants = "intro"]
fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	74	theories
fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	75	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	76	"../pdfsetup.sty"
48941 fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	77	"../iman.sty"
fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	78	"../extra.sty"
fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	79	"../ttbox.sty"
fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	80	"../proof.sty"
fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	81	"../manual.bib"
fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	82	"document/build"
fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	83	"document/root.tex"
fbf60999dc31 more standard document preparation within session context; wenzelm parents: 48939 diff changeset	84
48958 12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	85	session IsarRef (doc) in "IsarRef" = HOL +
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	86	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	87	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	88	Preface
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	89	Synopsis
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	90	Framework
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	91	First_Order_Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	92	Outer_Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	93	Document_Preparation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	94	Spec
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	95	Proof
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	96	Inner_Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	97	Misc
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	98	Generic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	99	HOL_Specific
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	100	Quick_Reference
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	101	Symbols
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	102	ML_Tactic
48958 12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	103	files
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	104	"../pdfsetup.sty"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	105	"../iman.sty"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	106	"../extra.sty"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	107	"../ttbox.sty"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	108	"../proof.sty"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	109	"../isar.sty"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	110	"../manual.bib"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	111	"document/build"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	112	"document/isar-vm.eps"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	113	"document/isar-vm.pdf"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	114	"document/isar-vm.svg"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	115	"document/root.tex"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	116	"document/showsymbols"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	117	"document/style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	118
48949 a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	119	session LaTeXsugar (doc) in "LaTeXsugar" = HOL +
a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	120	options [document_variants = "sugar"]
a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	121	theories [document = ""]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	122	"~~/src/HOL/Library/LaTeXsugar"
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	123	"~~/src/HOL/Library/OptionalSugar"
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	124	theories Sugar
48949 a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	125	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	126	"../pdfsetup.sty"
48949 a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	127	"document/build"
a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	128	"document/mathpartir.sty"
a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	129	"document/root.bib"
a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	130	"document/root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	131
48943 54da920baf38 more standard document preparation within session context; wenzelm parents: 48942 diff changeset	132	session Locales (doc) in "Locales" = HOL +
48955 a0aca6d0498e more official way to set margin; wenzelm parents: 48954 diff changeset	133	options [document_variants = "locales", pretty_margin = 65]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	134	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	135	Examples1
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	136	Examples2
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	137	Examples3
48943 54da920baf38 more standard document preparation within session context; wenzelm parents: 48942 diff changeset	138	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	139	"../pdfsetup.sty"
48943 54da920baf38 more standard document preparation within session context; wenzelm parents: 48942 diff changeset	140	"document/build"
54da920baf38 more standard document preparation within session context; wenzelm parents: 48942 diff changeset	141	"document/root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	142
48942 75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	143	session Logics (doc) in "Logics" = Pure +
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	144	options [document_variants = "logics"]
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	145	theories
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	146	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	147	"../pdfsetup.sty"
48942 75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	148	"../iman.sty"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	149	"../extra.sty"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	150	"../ttbox.sty"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	151	"../proof.sty"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	152	"../manual.bib"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	153	"document/build"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	154	"document/root.tex"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	155
48945 b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	156	session "Logics-HOL" (doc) in "HOL" = Pure +
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	157	options [document_variants = "logics-HOL"]
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	158	theories
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	159	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	160	"../pdfsetup.sty"
48945 b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	161	"../iman.sty"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	162	"../extra.sty"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	163	"../ttbox.sty"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	164	"../proof.sty"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	165	"../manual.bib"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	166	"../Logics/document/syntax.tex"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	167	"document/build"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	168	"document/root.tex"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	169
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	170	session "Logics-ZF" (doc) in "ZF" = ZF +
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	171	options [document_variants = "logics-ZF", print_mode = "brackets",
d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	172	thy_output_source]
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	173	theories
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	174	IFOL_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	175	FOL_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	176	ZF_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	177	If
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	178	ZF_Isar
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	179	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	180	"../pdfsetup.sty"
d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	181	"../isar.sty"
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	182	"../ttbox.sty"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	183	"../proof.sty"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	184	"../manual.bib"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	185	"../Logics/document/syntax.tex"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	186	"document/build"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	187	"document/root.tex"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	188
48944 ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	189	session Main (doc) in "Main" = HOL +
ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	190	options [document_variants = "main"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	191	theories Main_Doc
48944 ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	192	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	193	"../pdfsetup.sty"
48944 ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	194	"document/build"
ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	195	"document/root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	196
48947 7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	197	session ProgProve (doc) in "ProgProve" = HOL +
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	198	options [document_variants = "prog-prove", show_question_marks = false]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	199	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	200	Basics
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	201	Bool_nat_list
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	202	MyList
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	203	Types_and_funs
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	204	Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	205	Isar
48947 7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	206	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	207	"../pdfsetup.sty"
48947 7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	208	"document/bang.eps"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	209	"document/bang.pdf"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	210	"document/build"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	211	"document/intro-isabelle.tex"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	212	"document/mathpartir.sty"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	213	"document/prelude.tex"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	214	"document/root.bib"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	215	"document/root.tex"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	216	"document/svmono.cls"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	217
48939 83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	218	session Ref (doc) in "Ref" = Pure +
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	219	options [document_variants = "ref"]
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	220	theories
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	221	files
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	222	"../pdfsetup.sty"
48939 83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	223	"../iman.sty"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	224	"../extra.sty"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	225	"../ttbox.sty"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	226	"../proof.sty"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	227	"../manual.bib"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	228	"document/build"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	229	"document/classical.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	230	"document/root.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	231	"document/simplifier.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	232	"document/substitution.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	233	"document/syntax.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	234	"document/tactic.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	235	"document/thm.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	236
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	237	session System (doc) in "System" = Pure +
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	238	options [document_variants = "system", thy_output_source]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	239	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	240	Basics
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	241	Interfaces
48578 21361b6189a6 some description of isabelle build; wenzelm parents: 48526 diff changeset	242	Sessions
21361b6189a6 some description of isabelle build; wenzelm parents: 48526 diff changeset	243	Presentation
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	244	Scala
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	245	Misc
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	246	files
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	247	"../IsarRef/style.sty"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	248	"../pdfsetup.sty"
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	249	"../iman.sty"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	250	"../extra.sty"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	251	"../ttbox.sty"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	252	"../isar.sty"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	253	"../underscore.sty"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	254	"../manual.bib"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	255	"document/browser_screenshot.eps"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	256	"document/browser_screenshot.png"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	257	"document/build"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	258	"document/root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	259
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	260	session Tutorial (doc) in "TutorialI" = HOL +
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	261	options [browser_info = false, document = false,
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	262	document_dump = document, document_dump_mode = "tex",
48611 b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	263	print_mode = "brackets"]
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	264	theories [thy_output_indent = 5]
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	265	"ToyList/ToyList"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	266	"Ifexpr/Ifexpr"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	267	"CodeGen/CodeGen"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	268	"Trie/Trie"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	269	"Datatype/ABexpr"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	270	"Datatype/unfoldnested"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	271	"Datatype/Nested"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	272	"Datatype/Fundata"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	273	"Fun/fun0"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	274	"Advanced/simp2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	275	"CTL/PDL"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	276	"CTL/CTL"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	277	"CTL/CTLind"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	278	"Inductive/Even"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	279	"Inductive/Mutual"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	280	"Inductive/Star"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	281	"Inductive/AB"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	282	"Inductive/Advanced"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	283	"Misc/Tree"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	284	"Misc/Tree2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	285	"Misc/Plus"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	286	"Misc/case_exprs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	287	"Misc/fakenat"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	288	"Misc/natsum"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	289	"Misc/pairs2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	290	"Misc/Option2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	291	"Misc/types"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	292	"Misc/prime_def"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	293	"Misc/simp"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	294	"Misc/Itrev"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	295	"Misc/AdvancedInd"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	296	"Misc/appendix"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	297	theories
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	298	"Protocol/NS_Public"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	299	"Documents/Documents"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	300	theories [document_dump = ""]
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	301	"Types/Setup"
48611 b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	302	theories [pretty_margin = 64, thy_output_indent = 0]
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	303	"Types/Numbers"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	304	"Types/Pairs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	305	"Types/Records"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	306	"Types/Typedefs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	307	"Types/Overloading"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	308	"Types/Axioms"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	309	"Rules/Basic"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	310	"Rules/Blast"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	311	"Rules/Force"
48611 b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	312	theories [pretty_margin = 64, thy_output_indent = 5]
b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	313	"Rules/Primes"
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	314	"Rules/Forward"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	315	"Rules/Tacticals"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	316	"Rules/find2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	317	"Sets/Examples"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	318	"Sets/Functions"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	319	"Sets/Relations"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	320	"Sets/Recur"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	321
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	322	session "HOL-ToyList2" (doc) in "TutorialI/ToyList2" = HOL +
48612 795d38a6dab3 regenerate ToyList2/ToyList.thy during raw make after session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources); wenzelm parents: 48611 diff changeset	323	options [browser_info = false, document = false, print_mode = "brackets"]
795d38a6dab3 regenerate ToyList2/ToyList.thy during raw make after session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources); wenzelm parents: 48611 diff changeset	324	theories ToyList
795d38a6dab3 regenerate ToyList2/ToyList.thy during raw make after session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources); wenzelm parents: 48611 diff changeset	325

author	wenzelm
	Tue, 28 Aug 2012 12:45:49 +0200
changeset 48958	12afbf6eb7f9
parent 48957	c04001b3a753
child 48961	647462af31c4
permissions	-rw-r--r--