tuned;

--- a/src/Cube/README.html	Sat Sep 03 21:44:29 2005 +0200
+++ b/src/Cube/README.html	Sat Sep 03 21:46:16 2005 +0200
@@ -13,8 +13,8 @@
 
 <H2>Cube: Barendregt's Lambda-Cube</H2>
 
-This directory contains the ML sources of the Isabelle system for the
-Lambda-Cube.<p>
+This directory contains the theory sources for the Lambda-Cube in
+Isabelle/Pure.<p>
 
 The <tt>ex</tt> subdirectory contains some examples.<p>