NEWS
changeset 60371 8a5cfdda1b98
parent 60370 9ec1d3d2068e
child 60387 76359ff1090f
     1.1 --- a/NEWS	Fri Jun 05 13:26:12 2015 +0200
     1.2 +++ b/NEWS	Fri Jun 05 13:41:06 2015 +0200
     1.3 @@ -9,6 +9,9 @@
     1.4  
     1.5  *** Pure ***
     1.6  
     1.7 +* New Isar command 'supply' supports fact definitions during goal
     1.8 +refinement ('apply' scripts).
     1.9 +
    1.10  * Configuration option rule_insts_schematic has been discontinued
    1.11  (intermediate legacy feature in Isabelle2015).  INCOMPATIBILITY.
    1.12