tuned;

--- a/NEWS	Tue Sep 20 21:51:06 2005 +0200
+++ b/NEWS	Tue Sep 20 22:02:06 2005 +0200
@@ -202,6 +202,8 @@
 rather than 'types'.  INCOMPATIBILITY for new object-logic
 specifications.
 
+* 'defs': more well-formedness checks of overloaded definitions.
+
 * Attributes 'induct' and 'cases': type or set names may now be
 locally fixed variables as well.