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.
*** empty log message ***
authornipkow
Thu, 20 Dec 2001 16:53:51 +0100
changeset 12564 226873bffa3a
parent 12563 3813bcab493d
child 12565 9df4b3934487
*** empty log message ***
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Dec 20 15:57:29 2001 +0100
+++ b/NEWS	Thu Dec 20 16:53:51 2001 +0100
@@ -1,4 +1,3 @@
-
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
@@ -241,6 +240,8 @@
 * HOL/GroupTheory: group theory examples including Sylow's theorem, by
 Florian Kammüller;
 
+* HOL: renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl
+
 
 *** HOLCF ***
isabelle