ROOT.ML

--- a/ROOT.ML	Tue Sep 27 13:23:04 1994 +0100
+++ b/ROOT.ML	Wed Sep 28 12:39:32 1994 +0100
@@ -98,7 +98,7 @@
 init_thy_reader ();
 
 use_thy "Finite";
-use_thy "LList";
+use_thy "List";
 
 use "../Pure/install_pp.ML";
 print_depth 8;