ANNOUNCE
changeset 27010 4856b752a57c
parent 27007 c1960cad5017
child 27061 a057cb0d7d55
     1.1 --- a/ANNOUNCE	Wed May 28 23:33:51 2008 +0200
     1.2 +++ b/ANNOUNCE	Wed May 28 23:36:19 2008 +0200
     1.3 @@ -6,12 +6,12 @@
     1.4  This release consolidates Isabelle2007, see the NEWS file in the
     1.5  distribution for more details.  Some notable improvements are:
     1.6  
     1.7 -* New version of HOL 'primrec' with local theory support.
     1.8 +* New version of HOL 'primrec' supporting type-inference and local
     1.9 +theory targets.
    1.10  
    1.11 -* New local theory targets for class instantiation and unrestricted
    1.12 -overloading.
    1.13 +* New local theory targets for class instantiation and overloading.
    1.14  
    1.15 -* Support for dynamic lists of named theorems.
    1.16 +* Support for named dynamic lists of theorems.
    1.17  
    1.18  * Significant speedup of Metis prover, with proper support for
    1.19  multithreading.