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.
Backed out changeset 1fde0e4fd791
authornipkow
Mon, 20 Feb 2023 13:37:51 +0100
changeset 77305 6470353996f5
parent 77272 0506c3273814
child 77308 fa247805669d
Backed out changeset 1fde0e4fd791
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Feb 15 17:01:42 2023 +0100
+++ b/NEWS	Mon Feb 20 13:37:51 2023 +0100
@@ -43,8 +43,6 @@
 
 *** HOL ***
 
-* Map.map_of and lemmas moved to List.
-
 * Theory "HOL.Euclidean_Division" renamed to "HOL.Euclidean_Rings";
   "euclidean division" typically denotes a particular division on
   integers.  Minor INCOMPATIBILITY.
isabelle