# HG changeset patch
# User blanchet
# Date 1382896946 -3600
# Node ID 2c024c23d67f33d1ff8dac05418b263dceef4f81
# Parent  9d239afc1a903b9bf133e87894006c8a38e23c70
commented out vaporware

diff -r 9d239afc1a90 -r 2c024c23d67f src/Doc/Datatypes/Datatypes.thy
--- 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}