NEWS
changeset 12889 1de4f0b824a8
parent 12877 b9635eb8a448
child 12899 7d5b690253ee
     1.1 --- a/NEWS	Thu Feb 14 12:06:07 2002 +0100
     1.2 +++ b/NEWS	Thu Feb 14 12:24:02 2002 +0100
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5  Isabelle NEWS -- history user-relevant changes
     1.6  ==============================================
     1.7  
     1.8 @@ -224,6 +223,8 @@
     1.9  
    1.10  * HOL: linorder_less_split superseded by linorder_cases;
    1.11  
    1.12 +* HOL/List: "nodups" renamed to "distinct"
    1.13 +
    1.14  * HOL: added "The" definite description operator; move Hilbert's "Eps"
    1.15  to peripheral theory "Hilbert_Choice";
    1.16