NEWS
changeset 13550 5a176b8dda84
parent 13549 f1522b892a4c
child 13570 0d6a0dce3ba3
     1.1 --- a/NEWS	Thu Aug 29 16:15:11 2002 +0200
     1.2 +++ b/NEWS	Fri Aug 30 16:42:45 2002 +0200
     1.3 @@ -33,6 +33,10 @@
     1.4  "foo" are split into "foo.hyps" (from the rule) and "foo.prems" (from
     1.5  the goal statement); "foo" still refers to all facts collectively;
     1.6  
     1.7 +* Provers: the function blast.overloaded has been removed: all constants
     1.8 +are regarded as potentially overloaded, which improves robustness in exchange
     1.9 +for slight decrease in efficiency;
    1.10 +
    1.11  * Isar: preview of problems to finish 'show' now produce an error
    1.12  rather than just a warning (in interactive mode);
    1.13