src/Pure/ROOT.ML
changeset 4408 ad74412ef7a0
parent 4362 e10acc395f0d
child 4410 b68047c56fce
--- a/src/Pure/ROOT.ML	Sat Dec 13 17:22:41 1997 +0100
+++ b/src/Pure/ROOT.ML	Sat Dec 13 17:27:16 1997 +0100
@@ -8,7 +8,7 @@
 *)
 
 val banner = "Pure Isabelle";
-val version = "Isabelle-94 revision 8: May 1997";
+val version = "Isabelle98: Jan 1998";
 
 print_depth 1;
 
@@ -23,7 +23,7 @@
 use "ROOT.ML";
 cd "..";
 
-(*Core system*)
+(*Main system*)
 use "sorts.ML";
 use "type_infer.ML";
 use "type.ML";
@@ -46,10 +46,7 @@
 use "axclass.ML";
 
 (*Theory parser and loader*)
-
-(* FIXME tmp *)
-val global_names = ref false;
-
+val global_names = ref false;		(* FIXME tmp *)
 cd "Thy";
 use "ROOT.ML";
 cd "..";