note changes in changes-set.txt

metamath · Oct 16, 2024 · 07d23ac · 07d23ac
1 parent a83c2dd
commit 07d23ac
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -95,6 +95,8 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+16-Oct-24 ---       ---         well-founded recursion theorems moved
+                                from SF's mathbox to main set.mm
 15-Oct-24 ---       ---         well-founded induction theorems moved
                                 from SF's mathbox to main set.mm
 12-Oct-24 syl5rbb   bitr2id     compare to bitr2i or bitr2d