isabelle: src/Doc/ROOT@612a04e7c853 (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
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	6	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	7	"../pdfsetup.sty"
49318 612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	8	"../iman.sty"
612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	9	"../extra.sty"
612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	10	"../isar.sty"
612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	11	"../proof.sty"
612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	12	"../manual.bib"
48950 9965099f51ad more standard document preparation within session context; wenzelm parents: 48949 diff changeset	13	"document/build"
9965099f51ad more standard document preparation within session context; wenzelm parents: 48949 diff changeset	14	"document/root.tex"
9965099f51ad more standard document preparation within session context; wenzelm parents: 48949 diff changeset	15	"document/style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	16
48951 b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	17	session Codegen (doc) in "Codegen" = "HOL-Library" +
b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	18	options [document_variants = "codegen", print_mode = "no_brackets,iff"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	19	theories [document = false] Setup
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	20	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	21	Introduction
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	22	Foundations
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	23	Refinement
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	24	Inductive_Predicate
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	25	Evaluation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	26	Adaptation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	27	Further
48951 b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	28	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	29	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	30	"../pdfsetup.sty"
49318 612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	31	"../iman.sty"
612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	32	"../extra.sty"
612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	33	"../isar.sty"
612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	34	"../proof.sty"
612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	35	"../manual.bib"
48954 c548d26daa8c avoid clash with generated Adaptation.tex on case-insensible file-systems; wenzelm parents: 48951 diff changeset	36	"document/adapt.tex"
48951 b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	37	"document/architecture.tex"
b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	38	"document/build"
b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	39	"document/root.tex"
b9238cbcdd41 more standard document preparation within session context; wenzelm parents: 48950 diff changeset	40	"document/style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	41
48948 fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	42	session Functions (doc) in "Functions" = HOL +
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	43	options [document_variants = "functions"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	44	theories Functions
48948 fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	45	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	46	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	47	"../pdfsetup.sty"
48948 fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	48	"../iman.sty"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	49	"../extra.sty"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	50	"../isar.sty"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	51	"../manual.bib"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	52	"document/build"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	53	"document/conclusion.tex"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	54	"document/intro.tex"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	55	"document/mathpartir.sty"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	56	"document/root.tex"
fa49f8890ef3 more standard document preparation within session context; wenzelm parents: 48947 diff changeset	57	"document/style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	58
48969 6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	59	session Intro (doc) in "Intro" = Pure +
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	60	options [document_variants = "intro"]
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	61	theories
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	62	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	63	"../prepare_document"
48969 6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	64	"../pdfsetup.sty"
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	65	"../iman.sty"
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	66	"../extra.sty"
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	67	"../ttbox.sty"
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	68	"../proof.sty"
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	69	"../manual.bib"
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	70	"document/build"
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	71	"document/root.tex"
6f7be3f5da94 tuned; wenzelm parents: 48968 diff changeset	72
48938 d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	73	session IsarImplementation (doc) in "IsarImplementation" = HOL +
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	74	options [document_variants = "implementation"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	75	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	76	Eq
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	77	Integration
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	78	Isar
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	79	Local_Theory
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	80	Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	81	ML
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	82	Prelim
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	83	Proof
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	84	Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	85	Tactic
48938 d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	86	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	87	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	88	"../pdfsetup.sty"
48938 d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	89	"../iman.sty"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	90	"../extra.sty"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	91	"../isar.sty"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	92	"../proof.sty"
49318 612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	93	"../ttbox.sty"
48938 d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	94	"../underscore.sty"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	95	"../manual.bib"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	96	"document/build"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	97	"document/root.tex"
d468d72a458f more standard document preparation within session context; wenzelm parents: 48937 diff changeset	98	"document/style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	99
48958 12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	100	session IsarRef (doc) in "IsarRef" = HOL +
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	101	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	102	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	103	Preface
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	104	Synopsis
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	105	Framework
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	106	First_Order_Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	107	Outer_Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	108	Document_Preparation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	109	Spec
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	110	Proof
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	111	Inner_Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	112	Misc
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	113	Generic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	114	HOL_Specific
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	115	Quick_Reference
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	116	Symbols
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	117	ML_Tactic
48958 12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	118	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	119	"../prepare_document"
48958 12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	120	"../pdfsetup.sty"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	121	"../iman.sty"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	122	"../extra.sty"
49318 612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	123	"../isar.sty"
48958 12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	124	"../ttbox.sty"
49318 612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	125	"../underscore.sty"
48958 12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	126	"../manual.bib"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	127	"document/build"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	128	"document/isar-vm.eps"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	129	"document/isar-vm.pdf"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	130	"document/isar-vm.svg"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	131	"document/root.tex"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	132	"document/showsymbols"
12afbf6eb7f9 more standard document preparation within session context; wenzelm parents: 48957 diff changeset	133	"document/style.sty"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	134
48949 a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	135	session LaTeXsugar (doc) in "LaTeXsugar" = HOL +
a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	136	options [document_variants = "sugar"]
a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	137	theories [document = ""]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	138	"~~/src/HOL/Library/LaTeXsugar"
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	139	"~~/src/HOL/Library/OptionalSugar"
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	140	theories Sugar
48949 a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	141	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	142	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	143	"../pdfsetup.sty"
48949 a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	144	"document/build"
a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	145	"document/mathpartir.sty"
a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	146	"document/root.bib"
a773af3e37d6 more standard document preparation within session context; wenzelm parents: 48948 diff changeset	147	"document/root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	148
48943 54da920baf38 more standard document preparation within session context; wenzelm parents: 48942 diff changeset	149	session Locales (doc) in "Locales" = HOL +
48955 a0aca6d0498e more official way to set margin; wenzelm parents: 48954 diff changeset	150	options [document_variants = "locales", pretty_margin = 65]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	151	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	152	Examples1
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	153	Examples2
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	154	Examples3
48943 54da920baf38 more standard document preparation within session context; wenzelm parents: 48942 diff changeset	155	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	156	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	157	"../pdfsetup.sty"
48943 54da920baf38 more standard document preparation within session context; wenzelm parents: 48942 diff changeset	158	"document/build"
54da920baf38 more standard document preparation within session context; wenzelm parents: 48942 diff changeset	159	"document/root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	160
48942 75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	161	session Logics (doc) in "Logics" = Pure +
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	162	options [document_variants = "logics"]
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	163	theories
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	164	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	165	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	166	"../pdfsetup.sty"
48942 75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	167	"../iman.sty"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	168	"../extra.sty"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	169	"../ttbox.sty"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	170	"../proof.sty"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	171	"../manual.bib"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	172	"document/build"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	173	"document/root.tex"
75d8778f94d3 more standard document preparation within session context; wenzelm parents: 48941 diff changeset	174
48945 b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	175	session "Logics-HOL" (doc) in "HOL" = Pure +
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	176	options [document_variants = "logics-HOL"]
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	177	theories
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	178	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	179	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	180	"../pdfsetup.sty"
48945 b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	181	"../iman.sty"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	182	"../extra.sty"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	183	"../ttbox.sty"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	184	"../proof.sty"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	185	"../manual.bib"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	186	"../Logics/document/syntax.tex"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	187	"document/build"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	188	"document/root.tex"
b5758f5a469c more standard document preparation within session context; wenzelm parents: 48944 diff changeset	189
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	190	session "Logics-ZF" (doc) in "ZF" = ZF +
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	191	options [document_variants = "logics-ZF", print_mode = "brackets",
d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	192	thy_output_source]
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	193	theories
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	194	IFOL_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	195	FOL_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	196	ZF_examples
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	197	If
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	198	ZF_Isar
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	199	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	200	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	201	"../pdfsetup.sty"
d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	202	"../isar.sty"
48946 a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	203	"../ttbox.sty"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	204	"../proof.sty"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	205	"../manual.bib"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	206	"../Logics/document/syntax.tex"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	207	"document/build"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	208	"document/root.tex"
a9b8344f5196 more standard document preparation within session context; wenzelm parents: 48945 diff changeset	209
48944 ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	210	session Main (doc) in "Main" = HOL +
ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	211	options [document_variants = "main"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	212	theories Main_Doc
48944 ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	213	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	214	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	215	"../pdfsetup.sty"
48944 ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	216	"document/build"
ac15a85e9282 more standard document preparation within session context; wenzelm parents: 48943 diff changeset	217	"document/root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	218
48963 f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	219	session Nitpick (doc) in "Nitpick" = Pure +
f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	220	options [document_variants = "nitpick"]
f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	221	theories
f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	222	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	223	"../prepare_document"
48963 f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	224	"../pdfsetup.sty"
f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	225	"../iman.sty"
f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	226	"../manual.bib"
f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	227	"document/build"
f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	228	"document/root.tex"
f11d88bfa934 more standard document preparation within session context; wenzelm parents: 48962 diff changeset	229
48947 7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	230	session ProgProve (doc) in "ProgProve" = HOL +
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	231	options [document_variants = "prog-prove", show_question_marks = false]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	232	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	233	Basics
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	234	Bool_nat_list
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	235	MyList
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	236	Types_and_funs
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	237	Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	238	Isar
48947 7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	239	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	240	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	241	"../pdfsetup.sty"
48947 7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	242	"document/bang.eps"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	243	"document/bang.pdf"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	244	"document/build"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	245	"document/intro-isabelle.tex"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	246	"document/mathpartir.sty"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	247	"document/prelude.tex"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	248	"document/root.bib"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	249	"document/root.tex"
7eee8b2d2099 more standard document preparation within session context; wenzelm parents: 48946 diff changeset	250	"document/svmono.cls"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	251
48939 83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	252	session Ref (doc) in "Ref" = Pure +
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	253	options [document_variants = "ref"]
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	254	theories
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	255	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	256	"../prepare_document"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	257	"../pdfsetup.sty"
48939 83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	258	"../iman.sty"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	259	"../extra.sty"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	260	"../ttbox.sty"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	261	"../proof.sty"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	262	"../manual.bib"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	263	"document/build"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	264	"document/classical.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	265	"document/root.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	266	"document/simplifier.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	267	"document/substitution.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	268	"document/syntax.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	269	"document/tactic.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	270	"document/thm.tex"
83bd9eb1c70c more standard document preparation within session context; wenzelm parents: 48938 diff changeset	271
48962 a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	272	session Sledgehammer (doc) in "Sledgehammer" = Pure +
a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	273	options [document_variants = "sledgehammer"]
a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	274	theories
a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	275	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	276	"../prepare_document"
48962 a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	277	"../pdfsetup.sty"
a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	278	"../iman.sty"
a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	279	"../manual.bib"
a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	280	"document/build"
a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	281	"document/root.tex"
a1acc1cb0271 more standard document preparation within session context; wenzelm parents: 48961 diff changeset	282
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	283	session System (doc) in "System" = Pure +
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	284	options [document_variants = "system", thy_output_source]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	285	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	286	Basics
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	287	Interfaces
48578 21361b6189a6 some description of isabelle build; wenzelm parents: 48526 diff changeset	288	Sessions
21361b6189a6 some description of isabelle build; wenzelm parents: 48526 diff changeset	289	Presentation
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	290	Scala
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	291	Misc
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	292	files
48971 5a4bcf466156 prepare document more uniformly; wenzelm parents: 48969 diff changeset	293	"../prepare_document"
48961 647462af31c4 updated IsarRef/document/style.sty; wenzelm parents: 48958 diff changeset	294	"../IsarRef/document/style.sty"
48956 d54a3d39ba85 prefer doc-src/pdfsetup.sty; wenzelm parents: 48955 diff changeset	295	"../pdfsetup.sty"
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	296	"../iman.sty"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	297	"../extra.sty"
49318 612a04e7c853 some attempts to synchronize ROOT/files and document/build; wenzelm parents: 48985 diff changeset	298	"../isar.sty"
48937 e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	299	"../ttbox.sty"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	300	"../underscore.sty"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	301	"../manual.bib"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	302	"document/browser_screenshot.eps"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	303	"document/browser_screenshot.png"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	304	"document/build"
e7418f8d49fe more standard document preparation within session context; wenzelm parents: 48738 diff changeset	305	"document/root.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	306
48985 5386df44a037 renamed doc-src to src/Doc; wenzelm parents: 48971 diff changeset	307	session Tutorial (doc) in "Tutorial" = HOL +
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	308	options [document_variants = "tutorial", print_mode = "brackets"]
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	309	theories [thy_output_indent = 5]
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	310	"ToyList/ToyList"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	311	"Ifexpr/Ifexpr"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	312	"CodeGen/CodeGen"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	313	"Trie/Trie"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	314	"Datatype/ABexpr"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	315	"Datatype/unfoldnested"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	316	"Datatype/Nested"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	317	"Datatype/Fundata"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	318	"Fun/fun0"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	319	"Advanced/simp2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	320	"CTL/PDL"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	321	"CTL/CTL"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	322	"CTL/CTLind"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	323	"Inductive/Even"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	324	"Inductive/Mutual"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	325	"Inductive/Star"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	326	"Inductive/AB"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	327	"Inductive/Advanced"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	328	"Misc/Tree"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	329	"Misc/Tree2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	330	"Misc/Plus"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	331	"Misc/case_exprs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	332	"Misc/fakenat"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	333	"Misc/natsum"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	334	"Misc/pairs2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	335	"Misc/Option2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	336	"Misc/types"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	337	"Misc/prime_def"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	338	"Misc/simp"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	339	"Misc/Itrev"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	340	"Misc/AdvancedInd"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	341	"Misc/appendix"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	342	theories
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	343	"Protocol/NS_Public"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	344	"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	345	theories [document = ""]
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	346	"Types/Setup"
48611 b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	347	theories [pretty_margin = 64, thy_output_indent = 0]
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	348	"Types/Numbers"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	349	"Types/Pairs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	350	"Types/Records"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	351	"Types/Typedefs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	352	"Types/Overloading"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	353	"Types/Axioms"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	354	"Rules/Basic"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	355	"Rules/Blast"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	356	"Rules/Force"
48611 b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	357	theories [pretty_margin = 64, thy_output_indent = 5]
b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	358	"Rules/Primes"
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	359	"Rules/Forward"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	360	"Rules/Tacticals"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	361	"Rules/find2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	362	"Sets/Examples"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	363	"Sets/Functions"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	364	"Sets/Relations"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	365	"Sets/Recur"
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	366	files
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	367	"ToyList/ToyList1"
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	368	"ToyList/ToyList2"
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	369	"../pdfsetup.sty"
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	370	"../proof.sty"
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	371	"../ttbox.sty"
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	372	"../manual.bib"
48968 5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	373	"document/advanced0.tex"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	374	"document/appendix0.tex"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	375	"document/basics.tex"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	376	"document/build"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	377	"document/cl2emono-modified.sty"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	378	"document/ctl0.tex"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	379	"document/documents0.tex"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	380	"document/fp.tex"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	381	"document/inductive0.tex"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	382	"document/isa-index"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	383	"document/Isa-logics.eps"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	384	"document/Isa-logics.pdf"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	385	"document/numerics.tex"
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	"document/pghead.eps"
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	387	"document/pghead.pdf"
48968 5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	388	"document/preface.tex"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	389	"document/protocol.tex"
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	390	"document/root.tex"
48968 5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	391	"document/rules.tex"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	392	"document/sets.tex"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	393	"document/tutorial.sty"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	394	"document/typedef.pdf"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	395	"document/typedef.ps"
5e83c70266cf prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012; wenzelm parents: 48966 diff changeset	396	"document/types0.tex"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	397

author	wenzelm
	Wed, 12 Sep 2012 11:28:34 +0200
changeset 49318	612a04e7c853
parent 48985	5386df44a037
child 50071	959548c3b947
permissions	-rw-r--r--