# HG changeset patch
# User wenzelm
# Date 1125776776 -7200
# Node ID 6c7ad5e0d200f093be4db894db9cd3d9cc3a5774
# Parent  88cfb2749fb6a6b7480eddce63b97e06ae5b1d00
tuned;

diff -r 88cfb2749fb6 -r 6c7ad5e0d200 src/Cube/README.html
--- 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>