Logged theorem promotion

metamath · Jan 5, 2025 · b00991d · b00991d
1 parent f81f4a0
commit b00991d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -92,6 +92,7 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+ 5-Jan-25 rabss3d   [same]      moved from TA's mathbox to main set.mm
  4-Jan-25 ralimda   ---         obsolete - use ralimdaa instead
  3-Jan-25 srgi      srgdilem
  2-Jan-25 pr2nelem  enpr2