document changes

metamath · Jan 17, 2025 · ec17a72 · ec17a72
1 parent 6a6eff3
commit ec17a72
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -87,6 +87,10 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+17-Jan-25 ---       ---         Moved Conway cut theorems
+                                from SF's mathbox to main set.mm
+17-Jan-25 rexrab    [same]      Moved from SF's mathbox to main set.mm
+17-Jan-25 riotarab  [same]      Moved from SF's mathbox to main set.mm
 16-Jan-25 ---       ---         Moved surreal ordering and birthday theorems
                                 from SF's mathbox to main set.mm
 16-Jan-25 ---       ---         Moved surreal full-eta theorems