# HG changeset patch
# User wenzelm
# Date 1470746487 -7200
# Node ID 4302f86920fe25f69e1a738bd7ac0c3eaef6e3cd
# Parent  a59d9b81be24457dbad2d9fdd7d792e470acb1e3
clarified bootstrap;

diff -r a59d9b81be24 -r 4302f86920fe src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Mon Aug 08 21:26:00 2016 +0200
+++ b/src/Pure/ROOT.ML	Tue Aug 09 14:41:27 2016 +0200
@@ -186,6 +186,12 @@
 ML_file "skip_proof.ML";
 ML_file "goal.ML";
 
+(*outer syntax*)
+ML_file "Isar/keyword.ML";
+ML_file "Isar/token.ML";
+ML_file "Isar/parse.ML";
+ML_file "Thy/thy_header.ML";
+
 (*proof context*)
 ML_file "Isar/object_logic.ML";
 ML_file "Isar/rule_cases.ML";
@@ -195,18 +201,12 @@
 ML_file "Isar/proof_context.ML";
 ML_file "type_infer_context.ML";
 ML_file "Syntax/syntax_phases.ML";
-ML_file "Isar/local_defs.ML";
-
-(*outer syntax*)
-ML_file "Isar/keyword.ML";
-ML_file "Isar/token.ML";
-ML_file "Isar/parse.ML";
 ML_file "Isar/args.ML";
 
 (*theory specifications*)
+ML_file "Isar/local_defs.ML";
 ML_file "Isar/local_theory.ML";
 ML_file "Isar/entity.ML";
-ML_file "Thy/thy_header.ML";
 ML_file "PIDE/command_span.ML";
 ML_file "Thy/thy_syntax.ML";
 ML_file "Thy/markdown.ML";