diff -r f1522b892a4c -r 5a176b8dda84 NEWS
--- a/NEWS	Thu Aug 29 16:15:11 2002 +0200
+++ b/NEWS	Fri Aug 30 16:42:45 2002 +0200
@@ -33,6 +33,10 @@
 "foo" are split into "foo.hyps" (from the rule) and "foo.prems" (from
 the goal statement); "foo" still refers to all facts collectively;
 
+* Provers: the function blast.overloaded has been removed: all constants
+are regarded as potentially overloaded, which improves robustness in exchange
+for slight decrease in efficiency;
+
 * Isar: preview of problems to finish 'show' now produce an error
 rather than just a warning (in interactive mode);