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