diff -r 804927db5311 -r 98acc6d0fab6 src/CCL/ROOT.ML
--- a/src/CCL/ROOT.ML	Mon Jul 17 18:42:38 2006 +0200
+++ b/src/CCL/ROOT.ML	Tue Jul 18 02:22:38 2006 +0200
@@ -14,7 +14,5 @@
 (* CCL - a computational logic for an untyped functional language *)
 (*                       with evaluation to weak head-normal form *)
 
-use_thy "CCL";
-use_thy "Hered";
 use_thy "Wfd";
 use_thy "Fix";