src/Pure/ROOT.ML
changeset 4484 220ccae8a590
parent 4410 b68047c56fce
child 4690 8459cf322011
     1.1 --- a/src/Pure/ROOT.ML	Sun Dec 28 14:54:38 1997 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sun Dec 28 14:55:20 1997 +0100
     1.3 @@ -13,8 +13,8 @@
     1.4  print_depth 1;
     1.5  
     1.6  use "library.ML";
     1.7 +use "table.ML";
     1.8  use "seq.ML";
     1.9 -use "symtab.ML";
    1.10  use "name_space.ML";
    1.11  use "term.ML";
    1.12