src/Cube/ROOT.ML

--- a/src/Cube/ROOT.ML	Fri Oct 21 22:44:55 2011 +0200
+++ b/src/Cube/ROOT.ML	Sat Oct 22 16:44:34 2011 +0200
@@ -5,4 +5,4 @@
 The Lambda-Cube a la Barendregt.
 *)
 
-use_thys ["Cube", "Example"];
+use_thys ["Example"];