NEWS
changeset 73879 5020054b3a16
parent 73878 4dc3baf45d6a
child 73904 1bd3463e30b8
--- a/NEWS	Wed May 05 16:09:02 2021 +0000
+++ b/NEWS	Wed May 05 16:09:02 2021 +0000
@@ -94,6 +94,9 @@
 * Lemma "permutes_induct" has been given stronger
 hypotheses and named premises.  INCOMPATIBILITY.
 
+* Combinator "Fun.swap" moved into separate theory "Transposition" in
+HOL-Combinatorics.  INCOMPATIBILITY.
+
 
 *** ML ***