isabelle: doc-src/ROOT@e794efa84045 (annotated)

48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	1	session Classes (doc) in "Classes/Thy" = HOL +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	2	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	3	document_dump = document, document_dump_mode = "tex"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	4	theories [document = false] Setup
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	5	theories Classes
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	6
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	7	session Codegen (doc) in "Codegen/Thy" = "HOL-Library" +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	8	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	9	document_dump = document, document_dump_mode = "tex",
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	10	print_mode = "no_brackets,iff"]
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	11	theories [document = false] Setup
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	12	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	13	Introduction
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	14	Foundations
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	15	Refinement
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	16	Inductive_Predicate
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	17	Evaluation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	18	Adaptation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	19	Further
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	20
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	21	session Functions (doc) in "Functions/Thy" = HOL +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	22	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	23	document_dump = document, document_dump_mode = "tex"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	24	theories Functions
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	25
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	26	session IsarImplementation (doc) in "IsarImplementation/Thy" = HOL +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	27	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	28	document_dump = document, document_dump_mode = "tex"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	29	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	30	Eq
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	31	Integration
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	32	Isar
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	33	Local_Theory
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	34	Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	35	ML
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	36	Prelim
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	37	Proof
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	38	Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	39	Tactic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	40
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	41	session "HOL-IsarRef" (doc) in "IsarRef/Thy" = HOL +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	42	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	43	document_dump = document, document_dump_mode = "tex",
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	44	quick_and_dirty]
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	45	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	46	Preface
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	47	Synopsis
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	48	Framework
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	49	First_Order_Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	50	Outer_Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	51	Document_Preparation
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	52	Spec
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	53	Proof
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	54	Inner_Syntax
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	55	Misc
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	56	Generic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	57	HOL_Specific
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	58	Quick_Reference
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	59	Symbols
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	60	ML_Tactic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	61
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	62	session "HOLCF-IsarRef" (doc) in "IsarRef/Thy" = HOLCF +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	63	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	64	document_dump = document, document_dump_mode = "tex",
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	65	quick_and_dirty]
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	66	theories HOLCF_Specific
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	67
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	68	session "ZF-IsarRef" (doc) in "IsarRef/Thy" = ZF +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	69	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	70	document_dump = document, document_dump_mode = "tex",
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	71	quick_and_dirty]
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	72	theories ZF_Specific
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	73
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	74	session LaTeXsugar (doc) in "LaTeXsugar/Sugar" = HOL +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	75	options [browser_info = false, document = false,
48587 f9732774ffc7 no apparent need for single-threaded execution; wenzelm parents: 48578 diff changeset	76	document_dump = document, document_dump_mode = "tex"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	77	theories [document_dump = ""]
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	78	"~~/src/HOL/Library/LaTeXsugar"
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	79	"~~/src/HOL/Library/OptionalSugar"
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	80	theories Sugar
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	81
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	82	session Locales (doc) in "Locales/Locales" = HOL +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	83	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	84	document_dump = document, document_dump_mode = "tex"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	85	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	86	Examples1
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	87	Examples2
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	88	Examples3
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	89
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	90	session Main (doc) in "Main/Docs" = HOL +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	91	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	92	document_dump = document, document_dump_mode = "tex"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	93	theories Main_Doc
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	94
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	95	session ProgProve (doc) in "ProgProve/Thys" = HOL +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	96	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	97	document_dump = document, document_dump_mode = "tex",
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	98	show_question_marks = false]
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	99	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	100	Basics
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	101	Bool_nat_list
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	102	MyList
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	103	Types_and_funs
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	104	Logic
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	105	Isar
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	106
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	107	session System (doc) in "System/Thy" = Pure +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	108	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	109	document_dump = document, document_dump_mode = "tex"]
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	110	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	111	Basics
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	112	Interfaces
48578 21361b6189a6 some description of isabelle build; wenzelm parents: 48526 diff changeset	113	Sessions
21361b6189a6 some description of isabelle build; wenzelm parents: 48526 diff changeset	114	Presentation
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	115	Scala
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	116	Misc
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	117
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	118	session Tutorial (doc) in "TutorialI" = HOL +
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	119	options [browser_info = false, document = false,
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	120	document_dump = document, document_dump_mode = "tex",
48611 b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	121	print_mode = "brackets"]
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	122	theories [thy_output_indent = 5]
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	123	"ToyList/ToyList"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	124	"Ifexpr/Ifexpr"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	125	"CodeGen/CodeGen"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	126	"Trie/Trie"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	127	"Datatype/ABexpr"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	128	"Datatype/unfoldnested"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	129	"Datatype/Nested"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	130	"Datatype/Fundata"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	131	"Fun/fun0"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	132	"Advanced/simp2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	133	"CTL/PDL"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	134	"CTL/CTL"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	135	"CTL/CTLind"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	136	"Inductive/Even"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	137	"Inductive/Mutual"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	138	"Inductive/Star"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	139	"Inductive/AB"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	140	"Inductive/Advanced"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	141	"Misc/Tree"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	142	"Misc/Tree2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	143	"Misc/Plus"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	144	"Misc/case_exprs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	145	"Misc/fakenat"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	146	"Misc/natsum"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	147	"Misc/pairs2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	148	"Misc/Option2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	149	"Misc/types"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	150	"Misc/prime_def"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	151	"Misc/simp"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	152	"Misc/Itrev"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	153	"Misc/AdvancedInd"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	154	"Misc/appendix"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	155	theories
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	156	"Protocol/NS_Public"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	157	"Documents/Documents"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	158	theories [document_dump = ""]
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	159	"Types/Setup"
48611 b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	160	theories [pretty_margin = 64, thy_output_indent = 0]
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	161	"Types/Numbers"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	162	"Types/Pairs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	163	"Types/Records"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	164	"Types/Typedefs"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	165	"Types/Overloading"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	166	"Types/Axioms"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	167	"Rules/Basic"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	168	"Rules/Blast"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	169	"Rules/Force"
48611 b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	170	theories [pretty_margin = 64, thy_output_indent = 5]
b34ff75c23a7 multi-threaded HOL-Tutorial with explicit indication of local options; wenzelm parents: 48587 diff changeset	171	"Rules/Primes"
48526 4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	172	"Rules/Forward"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	173	"Rules/Tacticals"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	174	"Rules/find2"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	175	"Sets/Examples"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	176	"Sets/Functions"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	177	"Sets/Relations"
4372b7cb858d added session HOL-Tutorial; wenzelm parents: 48516 diff changeset	178	"Sets/Recur"
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	179
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	180	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	181	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	182	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	183
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48612 diff changeset	184	session "ZF-examples" (doc) in "ZF" = ZF +
48516 c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	185	options [browser_info = false, document = false,
c5d0f19ef7cb refined "document_dump_mode": "all", "tex+sty", "tex"; wenzelm parents: 48509 diff changeset	186	document_dump = document, document_dump_mode = "tex",
48502 fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	187	print_mode = "brackets"]
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	188	theories
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	189	IFOL_examples
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	190	FOL_examples
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	191	ZF_examples
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	192	If
fd03877ad5bc session specifications for doc-src, excluding TutorialI for now; wenzelm parents: diff changeset	193

author	wenzelm
	Wed, 22 Aug 2012 23:23:48 +0200
changeset 48894	e794efa84045
parent 48738	f8c1a5b9488f
child 48937	e7418f8d49fe
permissions	-rw-r--r--