--- a/src/HOL/Codatatype/README.html Wed Sep 05 15:40:26 2012 +0200
+++ b/src/HOL/Codatatype/README.html Wed Sep 05 15:40:26 2012 +0200
@@ -46,8 +46,8 @@
<b>Warning:</b> The package is under development. Future versions are expected
to support multiple constructors and selectors per (co)datatype (instead of a
single <i>fld</i> or <i>unf</i> constant) and provide a nicer syntax for
-(co)datatype and (co)recursive function definitions. Please contact
-any of
+(co)induction and (co)recursive function definitions. Please contact
+any nonempty subset of
<a href="mailto:traytel@in.tum.de">the</a>
<a href="mailto:popescua@in.tum.de">above</a>
<a href="mailto:blanchette@in.tum.de">authors</a>