# 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