author  wenzelm 
Mon, 27 Aug 2012 17:11:55 +0200  
changeset 48938  d468d72a458f 
parent 48937  e7418f8d49fe 
child 48939  83bd9eb1c70c 
permissions  rwrr 
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 docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

4 
theories [document = false] Setup 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

5 
theories Classes 
fd03877ad5bc
session specifications for docsrc, 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" = "HOLLibrary" + 
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 docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

10 
print_mode = "no_brackets,iff"] 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

11 
theories [document = false] Setup 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

12 
theories 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

13 
Introduction 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

14 
Foundations 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

15 
Refinement 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

16 
Inductive_Predicate 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

17 
Evaluation 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

18 
Adaptation 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

19 
Further 
fd03877ad5bc
session specifications for docsrc, 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 docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

24 
theories Functions 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

25 

48938
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

26 
session IsarImplementation (doc) in "IsarImplementation" = HOL + 
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

27 
options [document_variants = "implementation"] 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

28 
theories 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

29 
Eq 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

30 
Integration 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

31 
Isar 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

32 
Local_Theory 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

33 
Logic 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

34 
ML 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

35 
Prelim 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

36 
Proof 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

37 
Syntax 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

38 
Tactic 
48938
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

39 
files 
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

40 
"../iman.sty" 
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

41 
"../extra.sty" 
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

42 
"../isar.sty" 
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

43 
"../proof.sty" 
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

44 
"../underscore.sty" 
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

45 
"../ttbox.sty" 
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

46 
"../manual.bib" 
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

47 
"document/build" 
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

48 
"document/root.tex" 
d468d72a458f
more standard document preparation within session context;
wenzelm
parents:
48937
diff
changeset

49 
"document/style.sty" 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

50 

48738
f8c1a5b9488f
simplified session specifications: names are taken verbatim and current directory is default;
wenzelm
parents:
48612
diff
changeset

51 
session "HOLIsarRef" (doc) in "IsarRef/Thy" = HOL + 
48516
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

52 
options [browser_info = false, document = false, 
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

53 
document_dump = document, document_dump_mode = "tex", 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

54 
quick_and_dirty] 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

55 
theories 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

56 
Preface 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

57 
Synopsis 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

58 
Framework 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

59 
First_Order_Logic 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

60 
Outer_Syntax 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

61 
Document_Preparation 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

62 
Spec 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

63 
Proof 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

64 
Inner_Syntax 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

65 
Misc 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

66 
Generic 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

67 
HOL_Specific 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

68 
Quick_Reference 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

69 
Symbols 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

70 
ML_Tactic 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

71 

48738
f8c1a5b9488f
simplified session specifications: names are taken verbatim and current directory is default;
wenzelm
parents:
48612
diff
changeset

72 
session "HOLCFIsarRef" (doc) in "IsarRef/Thy" = HOLCF + 
48516
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

73 
options [browser_info = false, document = false, 
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

74 
document_dump = document, document_dump_mode = "tex", 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

75 
quick_and_dirty] 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

76 
theories HOLCF_Specific 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

77 

48738
f8c1a5b9488f
simplified session specifications: names are taken verbatim and current directory is default;
wenzelm
parents:
48612
diff
changeset

78 
session "ZFIsarRef" (doc) in "IsarRef/Thy" = ZF + 
48516
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

79 
options [browser_info = false, document = false, 
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

80 
document_dump = document, document_dump_mode = "tex", 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

81 
quick_and_dirty] 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

82 
theories ZF_Specific 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

83 

48738
f8c1a5b9488f
simplified session specifications: names are taken verbatim and current directory is default;
wenzelm
parents:
48612
diff
changeset

84 
session LaTeXsugar (doc) in "LaTeXsugar/Sugar" = HOL + 
48516
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

85 
options [browser_info = false, document = false, 
48587  86 
document_dump = document, document_dump_mode = "tex"] 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

87 
theories [document_dump = ""] 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

88 
"~~/src/HOL/Library/LaTeXsugar" 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

89 
"~~/src/HOL/Library/OptionalSugar" 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

90 
theories Sugar 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

91 

48738
f8c1a5b9488f
simplified session specifications: names are taken verbatim and current directory is default;
wenzelm
parents:
48612
diff
changeset

92 
session Locales (doc) in "Locales/Locales" = HOL + 
48516
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

93 
options [browser_info = false, document = false, 
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

94 
document_dump = document, document_dump_mode = "tex"] 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

95 
theories 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

96 
Examples1 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

97 
Examples2 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

98 
Examples3 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

99 

48738
f8c1a5b9488f
simplified session specifications: names are taken verbatim and current directory is default;
wenzelm
parents:
48612
diff
changeset

100 
session Main (doc) in "Main/Docs" = HOL + 
48516
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

101 
options [browser_info = false, document = false, 
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

102 
document_dump = document, document_dump_mode = "tex"] 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

103 
theories Main_Doc 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

104 

48738
f8c1a5b9488f
simplified session specifications: names are taken verbatim and current directory is default;
wenzelm
parents:
48612
diff
changeset

105 
session ProgProve (doc) in "ProgProve/Thys" = HOL + 
48516
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

106 
options [browser_info = false, document = false, 
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

107 
document_dump = document, document_dump_mode = "tex", 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

108 
show_question_marks = false] 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

109 
theories 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

110 
Basics 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

111 
Bool_nat_list 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

112 
MyList 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

113 
Types_and_funs 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

114 
Logic 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

115 
Isar 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

116 

48937
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

117 
session System (doc) in "System" = Pure + 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

118 
options [document_variants = "system", thy_output_source] 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

119 
theories 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

120 
Basics 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

121 
Interfaces 
48578  122 
Sessions 
123 
Presentation 

48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

124 
Scala 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

125 
Misc 
48937
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

126 
files 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

127 
"../IsarRef/style.sty" 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

128 
"../iman.sty" 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

129 
"../extra.sty" 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

130 
"../ttbox.sty" 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

131 
"../isar.sty" 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

132 
"../underscore.sty" 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

133 
"../manual.bib" 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

134 
"document/browser_screenshot.eps" 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

135 
"document/browser_screenshot.png" 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

136 
"document/build" 
e7418f8d49fe
more standard document preparation within session context;
wenzelm
parents:
48738
diff
changeset

137 
"document/root.tex" 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

138 

48526  139 
session Tutorial (doc) in "TutorialI" = HOL + 
140 
options [browser_info = false, document = false, 

141 
document_dump = document, document_dump_mode = "tex", 

48611
b34ff75c23a7
multithreaded HOLTutorial with explicit indication of local options;
wenzelm
parents:
48587
diff
changeset

142 
print_mode = "brackets"] 
48526  143 
theories [thy_output_indent = 5] 
144 
"ToyList/ToyList" 

145 
"Ifexpr/Ifexpr" 

146 
"CodeGen/CodeGen" 

147 
"Trie/Trie" 

148 
"Datatype/ABexpr" 

149 
"Datatype/unfoldnested" 

150 
"Datatype/Nested" 

151 
"Datatype/Fundata" 

152 
"Fun/fun0" 

153 
"Advanced/simp2" 

154 
"CTL/PDL" 

155 
"CTL/CTL" 

156 
"CTL/CTLind" 

157 
"Inductive/Even" 

158 
"Inductive/Mutual" 

159 
"Inductive/Star" 

160 
"Inductive/AB" 

161 
"Inductive/Advanced" 

162 
"Misc/Tree" 

163 
"Misc/Tree2" 

164 
"Misc/Plus" 

165 
"Misc/case_exprs" 

166 
"Misc/fakenat" 

167 
"Misc/natsum" 

168 
"Misc/pairs2" 

169 
"Misc/Option2" 

170 
"Misc/types" 

171 
"Misc/prime_def" 

172 
"Misc/simp" 

173 
"Misc/Itrev" 

174 
"Misc/AdvancedInd" 

175 
"Misc/appendix" 

176 
theories 

177 
"Protocol/NS_Public" 

178 
"Documents/Documents" 

179 
theories [document_dump = ""] 

180 
"Types/Setup" 

48611
b34ff75c23a7
multithreaded HOLTutorial with explicit indication of local options;
wenzelm
parents:
48587
diff
changeset

181 
theories [pretty_margin = 64, thy_output_indent = 0] 
48526  182 
"Types/Numbers" 
183 
"Types/Pairs" 

184 
"Types/Records" 

185 
"Types/Typedefs" 

186 
"Types/Overloading" 

187 
"Types/Axioms" 

188 
"Rules/Basic" 

189 
"Rules/Blast" 

190 
"Rules/Force" 

48611
b34ff75c23a7
multithreaded HOLTutorial with explicit indication of local options;
wenzelm
parents:
48587
diff
changeset

191 
theories [pretty_margin = 64, thy_output_indent = 5] 
b34ff75c23a7
multithreaded HOLTutorial with explicit indication of local options;
wenzelm
parents:
48587
diff
changeset

192 
"Rules/Primes" 
48526  193 
"Rules/Forward" 
194 
"Rules/Tacticals" 

195 
"Rules/find2" 

196 
"Sets/Examples" 

197 
"Sets/Functions" 

198 
"Sets/Relations" 

199 
"Sets/Recur" 

48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

200 

48738
f8c1a5b9488f
simplified session specifications: names are taken verbatim and current directory is default;
wenzelm
parents:
48612
diff
changeset

201 
session "HOLToyList2" (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

202 
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

203 
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

204 

48738
f8c1a5b9488f
simplified session specifications: names are taken verbatim and current directory is default;
wenzelm
parents:
48612
diff
changeset

205 
session "ZFexamples" (doc) in "ZF" = ZF + 
48516
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

206 
options [browser_info = false, document = false, 
c5d0f19ef7cb
refined "document_dump_mode": "all", "tex+sty", "tex";
wenzelm
parents:
48509
diff
changeset

207 
document_dump = document, document_dump_mode = "tex", 
48502
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

208 
print_mode = "brackets"] 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

209 
theories 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

210 
IFOL_examples 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

211 
FOL_examples 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

212 
ZF_examples 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

213 
If 
fd03877ad5bc
session specifications for docsrc, excluding TutorialI for now;
wenzelm
parents:
diff
changeset

214 