ANNOUNCE

--- a/ANNOUNCE	Mon Oct 22 16:54:54 2007 +0200
+++ b/ANNOUNCE	Mon Oct 22 21:32:06 2007 +0200
@@ -11,8 +11,8 @@
 
 The main highlights are:
 
-* Fully featured support for nominal datatypes (binding structures)
-due to the HOL-Nominal logic.
+* Support for nominal datatypes (binding structures) due to the
+HOL-Nominal logic.
 
 * General local theory infrastructure for specifications depending on
 parameters and assumptions (e.g. from locales, classes).