tuning
authorblanchet
Tue Mar 29 09:49:39 2016 +0200 (2016-03-29)
changeset 6274069e4a4fffea9
parent 62739 628c97d39627
child 62741 1ddfe28117e9
tuning
src/Doc/Datatypes/Datatypes.thy
     1.1 --- a/src/Doc/Datatypes/Datatypes.thy	Tue Mar 29 09:45:54 2016 +0200
     1.2 +++ b/src/Doc/Datatypes/Datatypes.thy	Tue Mar 29 09:49:39 2016 +0200
     1.3 @@ -460,7 +460,7 @@
     1.4    \label{ssec:datatype-command-syntax}\<close>
     1.5  
     1.6  subsubsection \<open>\keyw{datatype}
     1.7 -  \label{sssec:datatype-new}\<close>
     1.8 +  \label{sssec:datatype}\<close>
     1.9  
    1.10  text \<open>
    1.11  \begin{matharray}{rcl}
    1.12 @@ -1569,7 +1569,7 @@
    1.13    \label{ssec:primrec-command-syntax}\<close>
    1.14  
    1.15  subsubsection \<open>\keyw{primrec}
    1.16 -  \label{sssec:primrec-new}\<close>
    1.17 +  \label{sssec:primrec}\<close>
    1.18  
    1.19  text \<open>
    1.20  \begin{matharray}{rcl}