Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 27393 a420578f9599
parent 27392 7be8ff061103
child 27421 7e458bd56860 
--- 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
isabelle