author | nipkow |
Thu, 14 Feb 2002 12:24:02 +0100 | |
changeset 12889 | 1de4f0b824a8 |
parent 12888 | f6c1e7306c40 |
child 12890 | 75b254b1c8ba |
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