changeset 17254 | 6c7ad5e0d200 |
parent 15582 | 7219facb3fd0 |
child 36862 | 952b2b102a0a |
--- 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>