src/Pure/ROOT1.ML
changeset 62886 72c475e03e22
parent 62883 b04e9fe29223
child 62887 6b2c60ebd915
     1.1 --- a/src/Pure/ROOT1.ML	Wed Apr 06 11:50:07 2016 +0200
     1.2 +++ b/src/Pure/ROOT1.ML	Wed Apr 06 11:57:21 2016 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  (*** Isabelle/Pure bootstrap: final setup ***)
     1.5  
     1.6  use_thy "Pure";
     1.7 +use_thy "ML_Root";
     1.8  
     1.9  use "ML/ml_pervasive1.ML";
    1.10 -use_thy "ML_Root";