src/Pure/ROOT.ML
changeset 4484 220ccae8a590
parent 4410 b68047c56fce
child 4690 8459cf322011
--- a/src/Pure/ROOT.ML	Sun Dec 28 14:54:38 1997 +0100
+++ b/src/Pure/ROOT.ML	Sun Dec 28 14:55:20 1997 +0100
@@ -13,8 +13,8 @@
 print_depth 1;
 
 use "library.ML";
+use "table.ML";
 use "seq.ML";
-use "symtab.ML";
 use "name_space.ML";
 use "term.ML";