moved global_names ref to Pure/ROOT.ML;
authorwenzelm
Thu Dec 04 13:49:27 1997 +0100 (1997-12-04)
changeset 4362e10acc395f0d
parent 4361 c77a484e4f95
child 4363 b449831f03f4
moved global_names ref to Pure/ROOT.ML;
src/Pure/ROOT.ML
src/Pure/Thy/thy_parse.ML
     1.1 --- a/src/Pure/ROOT.ML	Thu Dec 04 12:50:02 1997 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Thu Dec 04 13:49:27 1997 +0100
     1.3 @@ -46,6 +46,10 @@
     1.4  use "axclass.ML";
     1.5  
     1.6  (*Theory parser and loader*)
     1.7 +
     1.8 +(* FIXME tmp *)
     1.9 +val global_names = ref false;
    1.10 +
    1.11  cd "Thy";
    1.12  use "ROOT.ML";
    1.13  cd "..";
     2.1 --- a/src/Pure/Thy/thy_parse.ML	Thu Dec 04 12:50:02 1997 +0100
     2.2 +++ b/src/Pure/Thy/thy_parse.ML	Thu Dec 04 13:49:27 1997 +0100
     2.3 @@ -5,10 +5,6 @@
     2.4  The parser for theory files.
     2.5  *)
     2.6  
     2.7 -(* FIXME tmp *)
     2.8 -val global_names = ref false;
     2.9 -
    2.10 -
    2.11  infix 5 -- --$$ $$-- ^^;
    2.12  infix 3 >>;
    2.13  infix 0 ||;