--- a/src/Pure/System/session.ML Mon May 31 19:36:13 2010 +0200
+++ b/src/Pure/System/session.ML Mon May 31 21:06:57 2010 +0200
@@ -73,7 +73,7 @@
(* finish *)
fun finish () =
- (ThyInfo.finish ();
+ (Thy_Info.finish ();
Present.finish ();
Future.shutdown ();
session_finished := true);
@@ -97,7 +97,7 @@
((fn () =>
(init reset parent name;
Present.init build info doc doc_graph doc_versions (path ()) name
- (dumping dump) (get_rpath rpath) verbose (map ThyInfo.get_theory (ThyInfo.get_names ()));
+ (dumping dump) (get_rpath rpath) verbose (map Thy_Info.get_theory (Thy_Info.get_names ()));
if timing then
let
val start = start_timing ();