ANNOUNCE
changeset 25148 9c9646c1080d
parent 24813 74bc59c2c4a6
child 25197 7a169cfda866
     1.1 --- a/ANNOUNCE	Mon Oct 22 16:54:54 2007 +0200
     1.2 +++ b/ANNOUNCE	Mon Oct 22 21:32:06 2007 +0200
     1.3 @@ -11,8 +11,8 @@
     1.4  
     1.5  The main highlights are:
     1.6  
     1.7 -* Fully featured support for nominal datatypes (binding structures)
     1.8 -due to the HOL-Nominal logic.
     1.9 +* Support for nominal datatypes (binding structures) due to the
    1.10 +HOL-Nominal logic.
    1.11  
    1.12  * General local theory infrastructure for specifications depending on
    1.13  parameters and assumptions (e.g. from locales, classes).