src/Pure/ROOT.ML
changeset 4408 ad74412ef7a0
parent 4362 e10acc395f0d
child 4410 b68047c56fce
     1.1 --- a/src/Pure/ROOT.ML	Sat Dec 13 17:22:41 1997 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sat Dec 13 17:27:16 1997 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  *)
     1.5  
     1.6  val banner = "Pure Isabelle";
     1.7 -val version = "Isabelle-94 revision 8: May 1997";
     1.8 +val version = "Isabelle98: Jan 1998";
     1.9  
    1.10  print_depth 1;
    1.11  
    1.12 @@ -23,7 +23,7 @@
    1.13  use "ROOT.ML";
    1.14  cd "..";
    1.15  
    1.16 -(*Core system*)
    1.17 +(*Main system*)
    1.18  use "sorts.ML";
    1.19  use "type_infer.ML";
    1.20  use "type.ML";
    1.21 @@ -46,10 +46,7 @@
    1.22  use "axclass.ML";
    1.23  
    1.24  (*Theory parser and loader*)
    1.25 -
    1.26 -(* FIXME tmp *)
    1.27 -val global_names = ref false;
    1.28 -
    1.29 +val global_names = ref false;		(* FIXME tmp *)
    1.30  cd "Thy";
    1.31  use "ROOT.ML";
    1.32  cd "..";