equal
deleted
inserted
replaced
1 (*** Isabelle/Pure bootstrap: final setup ***) |
1 (*** Isabelle/Pure bootstrap: final setup ***) |
2 |
2 |
3 use_thy "Pure"; |
3 use_thy "Pure"; |
|
4 use_thy "ML_Root"; |
4 |
5 |
5 use "ML/ml_pervasive1.ML"; |
6 use "ML/ml_pervasive1.ML"; |
6 use_thy "ML_Root"; |
|