NEWS
changeset 69045 8c240fdeffcb
parent 69044 364c989edb49
child 69066 5f83db57e8c2
     1.1 --- a/NEWS	Sun Sep 23 21:38:30 2018 +0200
     1.2 +++ b/NEWS	Sun Sep 23 21:49:31 2018 +0200
     1.3 @@ -18,6 +18,10 @@
     1.4  * More robust treatment of structural errors: begin/end blocks take
     1.5  precedence over goal/proof.
     1.6  
     1.7 +* Implicit cases goal1, goal2, goal3, etc. have been discontinued
     1.8 +(legacy feature since Isabelle2016).
     1.9 +
    1.10 +
    1.11  
    1.12  *** HOL ***
    1.13