Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
set_of_list
authorpaulson
Thu, 04 Sep 1997 17:57:56 +0200
changeset 3658 f87dd7b68d8c
parent 3657 48b8efdd1b80
child 3659 eddedfe2f3f8
set_of_list
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Sep 04 17:43:16 1997 +0200
+++ b/NEWS	Thu Sep 04 17:57:56 1997 +0200
@@ -10,7 +10,8 @@
   are rewritten to
   `P1(t) & ... & Pn(t) & Q1(t) & ... Qn(t)'
 
-* HOL/Lists: the function "set_of_list" has been renamed "set"
+* HOL/Lists: the function "set_of_list" has been renamed "set" (and its 
+  theorems too)
 
 * removed old README and Makefiles;
isabelle