1 (*** Isabelle/Pure bootstrap: final setup ***)
2
3 use_thy "Pure";
4 use_thy "ML_Bootstrap";
5
6 ML_file "ML/ml_pervasive1.ML";