src/Pure/ROOT.ML
changeset 62643 6f7ac44365d7
parent 62585 5d4ed917450d
child 62657 cdd6db02eae8
     1.1 --- a/src/Pure/ROOT.ML	Wed Mar 16 22:04:38 2016 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Wed Mar 16 22:06:05 2016 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*** Isabelle/Pure bootstrap from RAW_ML_SYSTEM ***)
     1.5 +(*** Isabelle/Pure bootstrap ***)
     1.6  
     1.7  (** bootstrap phase 0: Poly/ML setup **)
     1.8