# HG changeset patch
# User blanchet
# Date 1399972223 -7200
# Node ID 01ab2e94a713a510668909a2c4fc86e9183ae98d
# Parent  10d9bd4ea94f7e5f5834b2f42f035e1ae7735bad
tuned docs

diff -r 10d9bd4ea94f -r 01ab2e94a713 src/Doc/Datatypes/Datatypes.thy
--- a/src/Doc/Datatypes/Datatypes.thy	Tue May 13 11:10:23 2014 +0200
+++ b/src/Doc/Datatypes/Datatypes.thy	Tue May 13 11:10:23 2014 +0200
@@ -1531,7 +1531,7 @@
 
 text {*
 Noncorecursive codatatypes coincide with the corresponding datatypes, so they
-are useless in practice. \emph{Corecursive codatatypes} have the same syntax
+are rarely used in practice. \emph{Corecursive codatatypes} have the same syntax
 as recursive datatypes, except for the command name. For example, here is the
 definition of lazy lists:
 *}