tuned;
authorwenzelm
Tue Sep 20 22:02:06 2005 +0200 (2005-09-20)
changeset 17535cd0a4847d0b8
parent 17534 56e8db202f66
child 17536 1b7c2f7df2e6
tuned;
NEWS
     1.1 --- a/NEWS	Tue Sep 20 21:51:06 2005 +0200
     1.2 +++ b/NEWS	Tue Sep 20 22:02:06 2005 +0200
     1.3 @@ -202,6 +202,8 @@
     1.4  rather than 'types'.  INCOMPATIBILITY for new object-logic
     1.5  specifications.
     1.6  
     1.7 +* 'defs': more well-formedness checks of overloaded definitions.
     1.8 +
     1.9  * Attributes 'induct' and 'cases': type or set names may now be
    1.10  locally fixed variables as well.
    1.11