Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
mention docs
authorblanchet
Wed, 20 Nov 2013 20:46:46 +0100
changeset 54542 4626a45bc779
parent 54541 13933f920a5d
child 54543 2d23e9c3b66b
mention docs
src/HOL/BNF/README.html file | annotate | diff | comparison | revisions 
--- 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>
isabelle