1.1 --- a/src/Doc/Datatypes/Datatypes.thy	Mon Dec 02 20:31:54 2013 +0100
     1.2 +++ b/src/Doc/Datatypes/Datatypes.thy	Mon Dec 02 20:31:54 2013 +0100
     1.3 @@ -2350,6 +2350,8 @@
     1.4  %  * @{command wrap_free_constructors}
     1.5  %    * @{text "no_discs_sels"}, @{text "rep_compat"}
     1.6  %    * hack to have both co and nonco view via locale (cf. ext nats)
     1.7 +%  * code generator
     1.8 +%     * eq, refl, simps
     1.9  *}
    1.10  
    1.11  
    1.12 @@ -2384,8 +2386,6 @@
    1.13  
    1.14  % options: no_discs_sels rep_compat
    1.15  
    1.16 -% X_list is as for BNF
    1.17 -
    1.18  \noindent
    1.19  Section~\ref{ssec:datatype-generated-theorems} lists the generated theorems.
    1.20  *}