# HG changeset patch
# User blanchet
# Date 1399972311 -7200
# Node ID 1144d7ec892a26f63c1628f23a9e0e770c6f0e05
# Parent  01ab2e94a713a510668909a2c4fc86e9183ae98d
more bnf_decl -> bnf_axiomatization

diff -r 01ab2e94a713 -r 1144d7ec892a src/Doc/Datatypes/Datatypes.thy
--- a/src/Doc/Datatypes/Datatypes.thy	Tue May 13 11:10:23 2014 +0200
+++ b/src/Doc/Datatypes/Datatypes.thy	Tue May 13 11:11:51 2014 +0200
@@ -2528,8 +2528,8 @@
 *}
 
 
-subsubsection {* \keyw{bnf\_decl}
-  \label{sssec:bnf-decl} *}
+subsubsection {* \keyw{bnf\_axiomatization}
+  \label{sssec:bnf-axiomatization} *}
 
 text {*
 \begin{matharray}{rcl}