# HG changeset patch
# User blanchet
# Date 1384976770 -3600
# Node ID 13933f920a5d1320b70bfc985f0d19f75508063a
# Parent  5d7006e9205e8b227943dd013577ede8a6f947ac
took out warning (BNF is still under development, but it is finished enough)

diff -r 5d7006e9205e -r 13933f920a5d src/HOL/BNF/README.html
--- a/src/HOL/BNF/README.html	Wed Nov 20 20:45:20 2013 +0100
+++ b/src/HOL/BNF/README.html	Wed Nov 20 20:46:10 2013 +0100
@@ -42,14 +42,6 @@
 for sums, products, function spaces, finite sets, multisets, and countable sets.
 Custom BNFs can be registered as well.
 
-<p>
-<b>Warning:</b> The package is under development. 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>
-if you have questions or comments.
-
 </body>
 
 </html>