--- 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>