src/Pure/ROOT1.ML

simplified bootstrap: critical structures remain accessible in ML_Root context;

(*** Isabelle/Pure bootstrap: final setup ***)

use_thy "Pure";
use_thy "ML_Root";

use "ML/ml_pervasive1.ML";