doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy

   \item @{text change_yield} update with side result.
 
   \end{description}
 *}
 
-subsubsection {* Datatype hooks *}
+(*subsubsection {* Datatype hooks *}
 
 text {*
   Isabelle/HOL's datatype package provides a mechanism to
   extend theories depending on datatype declarations:
   \emph{datatype hooks}.  For example, when declaring a new

      existing datatypes, in blocks of mutual recursive datatypes,
      where all datatypes a block depends on are processed before
      the block.
 
   \end{description}
-
+*}*)
+
+text {*
   \emph{Happy proving, happy hacking!}
 *}
 
 end