src/LK/ROOT.ML
changeset 121 d392174734e9
parent 72 099d949fe467
child 393 02b27671b899
--- a/src/LK/ROOT.ML	Mon Nov 15 14:41:25 1993 +0100
+++ b/src/LK/ROOT.ML	Tue Nov 16 14:10:19 1993 +0100
@@ -15,7 +15,7 @@
 
 print_depth 1;  
 
-use_thy "lk";
+use_thy "LK";
 
 use "../Pure/install_pp.ML";
 print_depth 8;