--- a/ANNOUNCE Wed May 28 23:33:51 2008 +0200
+++ b/ANNOUNCE Wed May 28 23:36:19 2008 +0200
@@ -6,12 +6,12 @@
This release consolidates Isabelle2007, see the NEWS file in the
distribution for more details. Some notable improvements are:
-* New version of HOL 'primrec' with local theory support.
+* New version of HOL 'primrec' supporting type-inference and local
+theory targets.
-* New local theory targets for class instantiation and unrestricted
-overloading.
+* New local theory targets for class instantiation and overloading.
-* Support for dynamic lists of named theorems.
+* Support for named dynamic lists of theorems.
* Significant speedup of Metis prover, with proper support for
multithreading.