src/Doc/Datatypes/Datatypes.thy

 %* no recursion through unused arguments (unlike with the old package)
 %
 %* in a locale, cannot use locally fixed types (because of limitation in typedef)?
 %
 % *names of variables suboptimal
-%
-% * in a locale, size is half broken
 *}
 *)
 
 
 text {*