*** empty log message ***
authornipkow
Mon Aug 12 17:59:57 2002 +0200 (2002-08-12)
changeset 134926aae8eb39a18
parent 13491 ddf6ae639f21
child 13493 5aa68c051725
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Mon Aug 12 17:48:19 2002 +0200
     1.2 +++ b/NEWS	Mon Aug 12 17:59:57 2002 +0200
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5  Isabelle NEWS -- history user-relevant changes
     1.6  ==============================================
     1.7  
     1.8 @@ -35,6 +34,9 @@
     1.9  * 'typedef' command has new option "open" to suppress the set
    1.10  definition;
    1.11  
    1.12 +* Functions Min and Max on finite sets have been introduced.
    1.13 +  (theory Finite_Set)
    1.14 +
    1.15  * attribute [symmetric] now works for relations as well; it turns
    1.16  (x,y) : R^-1 into (y,x) : R, and vice versa;
    1.17