NEWS
changeset 13540 aede0306e214
parent 13522 934fffeb6f38
child 13541 44efea0e21fa
     1.1 --- a/NEWS	Tue Aug 27 16:41:01 2002 +0200
     1.2 +++ b/NEWS	Tue Aug 27 16:41:52 2002 +0200
     1.3 @@ -25,6 +25,9 @@
     1.4  locales); an optional limit for the number of printed facts may be
     1.5  given (the default is 40);
     1.6  
     1.7 +* Pure: disallow duplicate fact bindings within new-style theory
     1.8 +files;
     1.9 +
    1.10  * Provers: improved induct method: assumptions introduced by case
    1.11  "foo" are split into "foo.hyps" (from the rule) and "foo.prems" (from
    1.12  the goal statement); "foo" still refers to all facts collectively;