src/CTT/ROOT.ML
changeset 121 d392174734e9
parent 72 099d949fe467
child 393 02b27671b899
--- a/src/CTT/ROOT.ML	Mon Nov 15 14:41:25 1993 +0100
+++ b/src/CTT/ROOT.ML	Tue Nov 16 14:10:19 1993 +0100
@@ -15,11 +15,11 @@
 structure Readthy = ReadthyFUN (structure ThySyn = ThySyn);
 open Readthy;
 
-use_thy"ctt";
+use_thy "CTT";
 use "../Provers/typedsimp.ML";
 use "rew.ML";
-use_thy "arith";
-use_thy "bool";
+use_thy "Arith";
+use_thy "Bool";
 
 use "../Pure/install_pp.ML";
 print_depth 8;