# HG changeset patch
# User blanchet
# Date 1384976806 -3600
# Node ID 4626a45bc7799a2f51a1d85aaf5311e1296c7834
# Parent  13933f920a5d1320b70bfc985f0d19f75508063a
mention docs

diff -r 13933f920a5d -r 4626a45bc779 src/HOL/BNF/README.html
--- a/src/HOL/BNF/README.html	Wed Nov 20 20:46:10 2013 +0100
+++ b/src/HOL/BNF/README.html	Wed Nov 20 20:46:46 2013 +0100
@@ -20,7 +20,8 @@
 possibly infinite depth. The framework draws heavily from category theory.
 
 <p>
-The package is described in the following paper:
+The package is described in <tt>isabelle doc datatypes</tt> and in the following
+paper:
 
 <ul>
   <li><a href="http://www21.in.tum.de/~traytel/papers/lics12-codatatypes/index.html">Foundational, Compositional (Co)datatypes for Higher-Order Logic&mdash;Category Theory Applied to Theorem Proving</a>, <br>