src/Pure/ROOT.ML

 use "ML/ml_pervasive.ML";
 
 if List.exists (fn (a, _) => a = "FixedInt") (#allStruct ML_Name_Space.global ()) then ()
 else use "ML/fixed_int_dummy.ML";
 
-structure Distribution =     (*filled-in by makedist*)
-struct
-  val version = "unidentified repository version";
-  val is_identified = false;
-  val is_official = false;
-end;
-
 
 (* multithreading *)
 
 use "General/exn.ML";
 
 use "Concurrent/multithreading.ML";
 use "Concurrent/unsynchronized.ML";
 
 
 (* ML system *)
+
+use "System/distribution.ML";
 
 use "ML/ml_heap.ML";
 use "ML/ml_profiling.ML";
 use "ML/ml_pretty.ML";
 use "ML/ml_compiler0.ML";

 if ML_System.platform_is_windows
 then use "System/bash_windows.ML"
 else use "System/bash.ML";
 use "System/isabelle_system.ML";
 
+
 (*theory documents*)
 use "Thy/term_style.ML";
 use "Isar/outer_syntax.ML";
 use "Thy/thy_output.ML";
 use "Thy/document_antiquotations.ML";