src/Pure/ROOT0.ML

--- a/src/Pure/ROOT0.ML	Sat Apr 09 13:28:32 2016 +0200
+++ b/src/Pure/ROOT0.ML	Sat Apr 09 14:00:23 2016 +0200
@@ -1,4 +1,8 @@
 (*** Isabelle/Pure bootstrap: initial setup ***)
 
+ML_file "General/exn.ML";
+
+ML_file "Concurrent/thread_attributes.ML";
 ML_file "Concurrent/thread_data.ML";
-ML_file "ML/ml_recursive.ML"
+
+ML_file "ML/ml_recursive.ML";