src/Doc/Datatypes/Datatypes.thy

 
 * no way to register "sum" and "prod" as (co)datatypes to enable N2M reduction for them
   (for datatype\_compat and prim(co)rec)
 
 * no way to register same type as both data- and codatatype?
+
+* no recursion through unused arguments (unlike with the old package)
+
 *}
 
 
 section {* Acknowledgments
   \label{sec:acknowledgments} *}