NEWS
changeset 47462 8f85051693d1
parent 47461 5a7903ba2dac
child 47463 9be52539082d
     1.1 --- a/NEWS	Sat Apr 14 12:36:11 2012 +0200
     1.2 +++ b/NEWS	Sat Apr 14 12:46:45 2012 +0200
     1.3 @@ -1,8 +1,8 @@
     1.4  Isabelle NEWS -- history user-relevant changes
     1.5  ==============================================
     1.6  
     1.7 -New in this Isabelle version
     1.8 -----------------------------
     1.9 +New in Isabelle2012 (May 2012)
    1.10 +------------------------------
    1.11  
    1.12  *** General ***
    1.13  
    1.14 @@ -95,7 +95,7 @@
    1.15    lemma "P (x::'a::foo)" and "Q (y::'a::bar)"  -- "now illegal"
    1.16  
    1.17    lemma "P (x::'a)" and "Q (y::'a::bar)"
    1.18 -    -- "now uniform 'a::bar instead of default sort for first occurence (!)"
    1.19 +    -- "now uniform 'a::bar instead of default sort for first occurrence (!)"
    1.20  
    1.21  
    1.22  *** HOL ***