NEWS
changeset 10793 4d6cf7702e3c
parent 10770 4858ad0b8f38
child 10799 ea69ee7e117b
     1.1 --- a/NEWS	Fri Jan 05 18:16:01 2001 +0100
     1.2 +++ b/NEWS	Fri Jan 05 18:31:48 2001 +0100
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5  Isabelle NEWS -- history user-relevant changes
     1.6  ==============================================
     1.7  
     1.8 @@ -11,6 +10,9 @@
     1.9  
    1.10  * HOL: contrapos, contrapos2 renamed to contrapos_nn, contrapos_pp;
    1.11  
    1.12 +* HOL: infix "dvd" now has priority 50 rather than 70
    1.13 + (because it is a relation)
    1.14 +
    1.15  * Isar: 'obtain' no longer declares "that" fact as simp/intro;
    1.16  
    1.17  * Isar/HOL: method 'induct' now handles non-atomic goals; as a