note moves

metamath · Jan 12, 2025 · ba54c3c · ba54c3c
1 parent aabf1e5
commit ba54c3c
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -88,6 +88,13 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+11-Jan-25 ---       ---         Moved surreal ordering theorems from
+                                SF's mathbox to main set.mm
+11-Jan-25 ---       ---         Moved ordinal sequence theorems from
+                                SF's mathbox to main set.mm
+11-Jan-25 tfisg     [same]      Moved from SF's mathbox to main set.mm
+11-Jan-25 3orel13   [same]      Moved from SF's mathbox to main set.mm
+11-Jan-25 3pm3.2ni  [same]      Moved from SF's mathbox to main set.mm
  9-Jan-25 fvresval  [same]      Moved from SF's mathbox to main set.mm
  9-Jan-25 brtp      [same]      Moved from SF's mathbox to main set.mm
  9-Jan-25 ---       ---         Moved initial surreal definitions from