more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use';
avoid slowdown of Resources.loaded_files due to command name 'use' in Pure base syntax;
(*** Isabelle/Pure bootstrap: final setup ***)
use_thy "Pure";
use_thy "ML_Bootstrap";
ML_file "ML/ml_pervasive1.ML";