*** empty log message ***
authornipkow
Wed Jan 10 13:30:25 2001 +0100 (2001-01-10)
changeset 10856e8a5340418b6
parent 10855 140a1ed65665
child 10857 47b1f34ddd09
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Wed Jan 10 12:53:50 2001 +0100
     1.2 +++ b/NEWS	Wed Jan 10 13:30:25 2001 +0100
     1.3 @@ -12,9 +12,12 @@
     1.4  
     1.5  * HOL: infix "dvd" now has priority 50 rather than 70
     1.6    (because it is a relation)
     1.7 -  infix ^^ has been renamed ```
     1.8 +  infix ^^ has been renamed ``
     1.9 +  infix `` has been renamed `
    1.10    "univalent" has been renamed "single_valued"
    1.11  
    1.12 +* HOLCF: infix ` has been renamed $
    1.13 +
    1.14  * Isar: 'obtain' no longer declares "that" fact as simp/intro;
    1.15  
    1.16  * Isar/HOL: method 'induct' now handles non-atomic goals; as a