# HG changeset patch
# User wenzelm
# Date 1127246526 -7200
# Node ID cd0a4847d0b8252571ede5116daf2197affb982c
# Parent  56e8db202f66b83489aa70c06a92c29a9e919fc3
tuned;

diff -r 56e8db202f66 -r cd0a4847d0b8 NEWS
--- 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.