src/Cube/ROOT.ML

--- a/src/Cube/ROOT.ML	Mon Nov 15 14:41:25 1993 +0100
+++ b/src/Cube/ROOT.ML	Tue Nov 16 14:10:19 1993 +0100
@@ -13,7 +13,7 @@
 open Readthy;
 
 print_depth 1;  
-use_thy "cube";
+use_thy "Cube";
 
 use "../Pure/install_pp.ML";
 print_depth 8;