src/Pure/ROOT.ML
changeset 3763 31ec17820f49
parent 3508 089806e6133b
child 3864 e0ce3d4ec47d
     1.1 --- a/src/Pure/ROOT.ML	Wed Oct 01 17:32:38 1997 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Oct 01 17:36:51 1997 +0200
     1.3 @@ -18,6 +18,7 @@
     1.4  
     1.5  use "library.ML";
     1.6  use "symtab.ML";
     1.7 +use "name_space.ML";
     1.8  use "term.ML";
     1.9  
    1.10  (*Syntax module*)