author  wenzelm 
Thu, 26 Jul 2012 14:22:37 +0200  
changeset 48514  84df8858c8ac 
parent 48422  9613780a805b 
child 48641  92b48b8abfe4 
permissions  rwrr 
48347  1 
session RAW in "." = 
2 
files 

3 
"General/exn.ML" 

4 
"MLSystems/compiler_polyml.ML" 

5 
"MLSystems/ml_name_space.ML" 

6 
"MLSystems/ml_pretty.ML" 

7 
"MLSystems/ml_system.ML" 

8 
"MLSystems/multithreading.ML" 

9 
"MLSystems/multithreading_polyml.ML" 

10 
"MLSystems/overloading_smlnj.ML" 

11 
"MLSystems/polyml.ML" 

12 
"MLSystems/pp_dummy.ML" 

13 
"MLSystems/proper_int.ML" 

14 
"MLSystems/single_assignment.ML" 

15 
"MLSystems/single_assignment_polyml.ML" 

16 
"MLSystems/smlnj.ML" 

17 
"MLSystems/thread_dummy.ML" 

18 
"MLSystems/universal.ML" 

19 
"MLSystems/unsynchronized.ML" 

20 
"MLSystems/use_context.ML" 

21 

22 
session Pure in "." = 

48422
9613780a805b
determine source dependencies, relatively to preloaded theories;
wenzelm
parents:
48347
diff
changeset

23 
theories Pure 
48514  24 
files 
25 
"General/exn.ML" 

26 
"MLSystems/compiler_polyml.ML" 

27 
"MLSystems/ml_name_space.ML" 

28 
"MLSystems/ml_pretty.ML" 

29 
"MLSystems/ml_system.ML" 

30 
"MLSystems/multithreading.ML" 

31 
"MLSystems/multithreading_polyml.ML" 

32 
"MLSystems/overloading_smlnj.ML" 

33 
"MLSystems/polyml.ML" 

34 
"MLSystems/pp_dummy.ML" 

35 
"MLSystems/proper_int.ML" 

36 
"MLSystems/single_assignment.ML" 

37 
"MLSystems/single_assignment_polyml.ML" 

38 
"MLSystems/smlnj.ML" 

39 
"MLSystems/thread_dummy.ML" 

40 
"MLSystems/universal.ML" 

41 
"MLSystems/unsynchronized.ML" 

42 
"MLSystems/use_context.ML" 

48347  43 

48514  44 
"Concurrent/bash.ML" 
45 
"Concurrent/bash_sequential.ML" 

46 
"Concurrent/cache.ML" 

47 
"Concurrent/future.ML" 

48 
"Concurrent/lazy.ML" 

49 
"Concurrent/lazy_sequential.ML" 

50 
"Concurrent/mailbox.ML" 

51 
"Concurrent/par_exn.ML" 

52 
"Concurrent/par_list.ML" 

53 
"Concurrent/par_list_sequential.ML" 

54 
"Concurrent/simple_thread.ML" 

55 
"Concurrent/single_assignment.ML" 

56 
"Concurrent/single_assignment_sequential.ML" 

57 
"Concurrent/synchronized.ML" 

58 
"Concurrent/synchronized_sequential.ML" 

59 
"Concurrent/task_queue.ML" 

60 
"Concurrent/time_limit.ML" 

61 
"General/alist.ML" 

62 
"General/antiquote.ML" 

63 
"General/balanced_tree.ML" 

64 
"General/basics.ML" 

65 
"General/binding.ML" 

66 
"General/buffer.ML" 

67 
"General/file.ML" 

68 
"General/graph.ML" 

69 
"General/heap.ML" 

70 
"General/integer.ML" 

71 
"General/linear_set.ML" 

72 
"General/long_name.ML" 

73 
"General/name_space.ML" 

74 
"General/ord_list.ML" 

75 
"General/output.ML" 

76 
"General/path.ML" 

77 
"General/position.ML" 

78 
"General/pretty.ML" 

79 
"General/print_mode.ML" 

80 
"General/properties.ML" 

81 
"General/queue.ML" 

82 
"General/same.ML" 

83 
"General/scan.ML" 

84 
"General/secure.ML" 

85 
"General/seq.ML" 

86 
"General/sha1.ML" 

87 
"General/sha1_polyml.ML" 

88 
"General/source.ML" 

89 
"General/stack.ML" 

90 
"General/symbol.ML" 

91 
"General/symbol_pos.ML" 

92 
"General/table.ML" 

93 
"General/timing.ML" 

94 
"General/url.ML" 

95 
"Isar/args.ML" 

96 
"Isar/attrib.ML" 

97 
"Isar/auto_bind.ML" 

98 
"Isar/bundle.ML" 

99 
"Isar/calculation.ML" 

100 
"Isar/class.ML" 

101 
"Isar/class_declaration.ML" 

102 
"Isar/code.ML" 

103 
"Isar/context_rules.ML" 

104 
"Isar/element.ML" 

105 
"Isar/expression.ML" 

106 
"Isar/generic_target.ML" 

107 
"Isar/isar_cmd.ML" 

108 
"Isar/isar_syn.ML" 

109 
"Isar/keyword.ML" 

110 
"Isar/local_defs.ML" 

111 
"Isar/local_theory.ML" 

112 
"Isar/locale.ML" 

113 
"Isar/method.ML" 

114 
"Isar/named_target.ML" 

115 
"Isar/object_logic.ML" 

116 
"Isar/obtain.ML" 

117 
"Isar/outer_syntax.ML" 

118 
"Isar/overloading.ML" 

119 
"Isar/parse.ML" 

120 
"Isar/parse_spec.ML" 

121 
"Isar/proof.ML" 

122 
"Isar/proof_context.ML" 

123 
"Isar/proof_display.ML" 

124 
"Isar/proof_node.ML" 

125 
"Isar/rule_cases.ML" 

126 
"Isar/rule_insts.ML" 

127 
"Isar/runtime.ML" 

128 
"Isar/skip_proof.ML" 

129 
"Isar/spec_rules.ML" 

130 
"Isar/specification.ML" 

131 
"Isar/token.ML" 

132 
"Isar/toplevel.ML" 

133 
"Isar/typedecl.ML" 

134 
"ML/install_pp_polyml.ML" 

135 
"ML/ml_antiquote.ML" 

136 
"ML/ml_compiler.ML" 

137 
"ML/ml_compiler_polyml.ML" 

138 
"ML/ml_context.ML" 

139 
"ML/ml_env.ML" 

140 
"ML/ml_lex.ML" 

141 
"ML/ml_parse.ML" 

142 
"ML/ml_syntax.ML" 

143 
"ML/ml_thms.ML" 

144 
"PIDE/command.ML" 

145 
"PIDE/document.ML" 

146 
"PIDE/isabelle_markup.ML" 

147 
"PIDE/markup.ML" 

148 
"PIDE/protocol.ML" 

149 
"PIDE/xml.ML" 

150 
"PIDE/yxml.ML" 

151 
"Proof/extraction.ML" 

152 
"Proof/proof_checker.ML" 

153 
"Proof/proof_rewrite_rules.ML" 

154 
"Proof/proof_syntax.ML" 

155 
"Proof/reconstruct.ML" 

156 
"ProofGeneral/pgip.ML" 

157 
"ProofGeneral/pgip_input.ML" 

158 
"ProofGeneral/pgip_isabelle.ML" 

159 
"ProofGeneral/pgip_markup.ML" 

160 
"ProofGeneral/pgip_output.ML" 

161 
"ProofGeneral/pgip_parser.ML" 

162 
"ProofGeneral/pgip_tests.ML" 

163 
"ProofGeneral/pgip_types.ML" 

164 
"ProofGeneral/pgml.ML" 

165 
"ProofGeneral/preferences.ML" 

166 
"ProofGeneral/proof_general_emacs.ML" 

167 
"ProofGeneral/proof_general_pgip.ML" 

168 
"ROOT.ML" 

169 
"Syntax/ast.ML" 

170 
"Syntax/lexicon.ML" 

171 
"Syntax/local_syntax.ML" 

172 
"Syntax/mixfix.ML" 

173 
"Syntax/parser.ML" 

174 
"Syntax/printer.ML" 

175 
"Syntax/simple_syntax.ML" 

176 
"Syntax/syntax.ML" 

177 
"Syntax/syntax_ext.ML" 

178 
"Syntax/syntax_phases.ML" 

179 
"Syntax/syntax_trans.ML" 

180 
"Syntax/term_position.ML" 

181 
"System/build.ML" 

182 
"System/invoke_scala.ML" 

183 
"System/isabelle_process.ML" 

184 
"System/isabelle_system.ML" 

185 
"System/isar.ML" 

186 
"System/options.ML" 

187 
"System/session.ML" 

188 
"System/system_channel.ML" 

189 
"Thy/html.ML" 

190 
"Thy/latex.ML" 

191 
"Thy/present.ML" 

192 
"Thy/rail.ML" 

193 
"Thy/term_style.ML" 

194 
"Thy/thm_deps.ML" 

195 
"Thy/thy_header.ML" 

196 
"Thy/thy_info.ML" 

197 
"Thy/thy_load.ML" 

198 
"Thy/thy_output.ML" 

199 
"Thy/thy_syntax.ML" 

200 
"Tools/find_consts.ML" 

201 
"Tools/find_theorems.ML" 

202 
"Tools/named_thms.ML" 

203 
"Tools/xml_syntax.ML" 

204 
"assumption.ML" 

205 
"axclass.ML" 

206 
"config.ML" 

207 
"conjunction.ML" 

208 
"consts.ML" 

209 
"context.ML" 

210 
"context_position.ML" 

211 
"conv.ML" 

212 
"defs.ML" 

213 
"display.ML" 

214 
"drule.ML" 

215 
"envir.ML" 

216 
"facts.ML" 

217 
"global_theory.ML" 

218 
"goal.ML" 

219 
"goal_display.ML" 

220 
"interpretation.ML" 

221 
"item_net.ML" 

222 
"library.ML" 

223 
"logic.ML" 

224 
"more_thm.ML" 

225 
"morphism.ML" 

226 
"name.ML" 

227 
"net.ML" 

228 
"pattern.ML" 

229 
"primitive_defs.ML" 

230 
"proofterm.ML" 

231 
"pure_setup.ML" 

232 
"pure_thy.ML" 

233 
"raw_simplifier.ML" 

234 
"search.ML" 

235 
"sign.ML" 

236 
"simplifier.ML" 

237 
"sorts.ML" 

238 
"subgoal.ML" 

239 
"tactic.ML" 

240 
"tactical.ML" 

241 
"term.ML" 

242 
"term_ord.ML" 

243 
"term_sharing.ML" 

244 
"term_subst.ML" 

245 
"term_xml.ML" 

246 
"theory.ML" 

247 
"thm.ML" 

248 
"type.ML" 

249 
"type_infer.ML" 

250 
"type_infer_context.ML" 

251 
"unify.ML" 

252 
"variable.ML" 

253 