src/CTT/README.html
changeset 19761 5cd82054c2c6
parent 15582 7219facb3fd0
child 19762 957bcf55c98f
--- a/src/CTT/README.html	Fri Jun 02 16:06:19 2006 +0200
+++ b/src/CTT/README.html	Fri Jun 02 18:15:38 2006 +0200
@@ -13,10 +13,7 @@
 
 <H2>CTT: Constructive Type Theory</H2>
 
-This directory contains the ML sources of the Isabelle system for
-Constructive Type Theory (extensional equality, no universes).<p>
-
-The <tt>ex</tt> subdirectory contains some examples.<p>
+This is a version of Constructive Type Theory (extensional equality, no universes).<p>
 
 Useful references on Constructive Type Theory: