global_names moved to pure_thy.ML;
authorwenzelm
Mon May 25 21:17:08 1998 +0200 (1998-05-25)
changeset 4962e9217cb15b42
parent 4961 27f559b54c57
child 4963 38aa2d56e28c
global_names moved to pure_thy.ML;
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/ROOT.ML	Mon May 25 21:16:03 1998 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon May 25 21:17:08 1998 +0200
     1.3 @@ -49,7 +49,6 @@
     1.4  use "axclass.ML";
     1.5  
     1.6  (*theory parser and loader*)
     1.7 -val global_names = ref false;		(* FIXME tmp *)
     1.8  cd "Thy";
     1.9  use "ROOT.ML";
    1.10  cd "..";