--- a/src/CTT/ROOT.ML Fri Oct 22 11:42:02 1993 +0100
+++ b/src/CTT/ROOT.ML Fri Oct 22 13:35:15 1993 +0100
@@ -12,6 +12,9 @@
print_depth 1;
+structure Readthy = ReadthyFUN (structure ThySyn = ThySyn);
+open Readthy;
+
use_thy"ctt";
use "../Provers/typedsimp.ML";
use "rew.ML";