# 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.
-The package is described in the following paper: +The package is described in isabelle doc datatypes and in the following +paper: