# HG changeset patch
# User blanchet
# Date 1346852426 -7200
# Node ID 7af3f9f4178337497d7616a02469e63c6900b6e9
# Parent  ba50a6853a6c5419657badddabc8aaf63e43da70
updated README

diff -r ba50a6853a6c -r 7af3f9f41783 src/HOL/Codatatype/README.html
--- 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>