1.1 --- a/NEWS	Sat Jun 28 22:56:26 2008 +0200
     1.2 +++ b/NEWS	Sat Jun 28 22:58:49 2008 +0200
     1.3 @@ -79,8 +79,8 @@
     1.4  
     1.5    @{let ?pat = term}                    - term abbreviation (HO matching)
     1.6    @{note name = fact}                   - fact abbreviation
     1.7 -  @{thm fact}                           - singleton fact
     1.8 -  @{thms fact}                          - general fact
     1.9 +  @{thm fact}                           - singleton fact (with attributes)
    1.10 +  @{thms fact}                          - general fact (with attributes)
    1.11    @{lemma prop by method}               - singleton goal
    1.12    @{lemma prop1 ... propN by method}    - general goal
    1.13