--- 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"];