# HG changeset patch
# User wenzelm
# Date 1214686729 -7200
# Node ID a420578f9599a987be4d1066a5af0059089a49f2
# Parent  7be8ff0611036df5d244522425bb8faf593ced87
tuned;

diff -r 7be8ff061103 -r a420578f9599 NEWS
--- a/NEWS	Sat Jun 28 22:56:26 2008 +0200
+++ b/NEWS	Sat Jun 28 22:58:49 2008 +0200
@@ -79,8 +79,8 @@
 
   @{let ?pat = term}                    - term abbreviation (HO matching)
   @{note name = fact}                   - fact abbreviation
-  @{thm fact}                           - singleton fact
-  @{thms fact}                          - general fact
+  @{thm fact}                           - singleton fact (with attributes)
+  @{thms fact}                          - general fact (with attributes)
   @{lemma prop by method}               - singleton goal
   @{lemma prop1 ... propN by method}    - general goal