commented out vaporware

--- a/src/Doc/Datatypes/Datatypes.thy	Sat Oct 26 23:06:40 2013 +0200
+++ b/src/Doc/Datatypes/Datatypes.thy	Sun Oct 27 19:02:26 2013 +0100
@@ -2240,6 +2240,7 @@
 *}
 
 
+(* NOTYET
 subsubsection {* \keyw{bnf\_decl}
   \label{sssec:bnf-decl} *}
 
@@ -2253,6 +2254,7 @@
   @@{command bnf} target? dt_name
 "}
 *}
+*)
 
 
 subsubsection {* \keyw{print\_bnfs}