src/Pure/ROOT1.ML

clarified ML bootstrap;

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

use_thy "Pure";

use "ML/ml_pervasive1.ML";
use_thy "ML_Root";