list all changes

metamath · Feb 24, 2025 · 65f91ce · 65f91ce
1 parent 830b80e
commit 65f91ce
Showing 1 changed file with 37 additions and 4 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -85,10 +85,43 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
-24-Feb-25 ---       ---         rename all theorems of the form *1id to
-                                *rid and all theorems of the form *2id
-				to *lid
-23-Feb-25 abbi      abbib       flip sides of bi-conditional
+24-Feb-25 naddid1   naddrid
+24-Feb-25 naddid2   naddlid
+24-Feb-25 muid21    mulrid
+24-Feb-25 mulid2    mullid
+24-Feb-25 muid21i   mulridi
+24-Feb-25 mulid2i   mullidi
+24-Feb-25 muid21d   mulridd
+24-Feb-25 mulid2d   mullidd
+24-Feb-25 addid1    addrid
+24-Feb-25 addid2    addlid
+24-Feb-25 addid1i   addridi
+24-Feb-25 addid2i   addlidi
+24-Feb-25 addid1d   addridd
+24-Feb-25 addid2d   addlidd
+24-Feb-25 xaddid1   xaddrid
+24-Feb-25 xaddid2   xaddlid
+24-Feb-25 xaddid1d  xaddridd
+24-Feb-25 xmuid21   xmulrid
+24-Feb-25 xmulid2   xmullid
+24-Feb-25 muid21x   mulridx
+24-Feb-25 dchrmulid2 dchrmullid
+24-Feb-25 hvaddid2  hvaddlid
+24-Feb-25 hvaddid2i hvaddlidi
+24-Feb-25 hoaddid1i hoaddridi
+24-Feb-25 hoaddid1  hoaddrid
+24-Feb-25 homulid2  homullid
+24-Feb-25 readdid1addid2d readdridaddlidd
+24-Feb-25 reneg0addid2 reneg0addlid
+24-Feb-25 resubidaddid1lem resubidaddridlem
+24-Feb-25 resubidaddid1 resubidaddrid
+24-Feb-25 readdid2  readdlid
+24-Feb-25 sn-addid2 sn-addlid
+24-Feb-25 readdid1  readdrid
+24-Feb-25 sn-addid1 sn-addrid
+24-Feb-25 remulid2  remullid
+24-Feb-25 sn-mulid2 sn-mullid
+24-Feb-25 xaddid2d  xaddlidd
 23-Feb-25 addsid1   addsrid
 23-Feb-25 addsid2   addslid
 22-Feb-25 rdivmuldivd [same]    Moved from TA's mathbox to main set.mm