updated README
authorblanchet
Wed, 05 Sep 2012 15:40:26 +0200
changeset 49159 7af3f9f41783
parent 49158 ba50a6853a6c
child 49160 056d6010b6d2
updated README
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>