diff --git a/basis/Foreign.580.sml b/basis/Foreign.581.sml
similarity index 100%
rename from basis/Foreign.580.sml
rename to basis/Foreign.581.sml
diff --git a/basis/ForeignConstants.580.sml b/basis/ForeignConstants.581.sml
similarity index 100%
rename from basis/ForeignConstants.580.sml
rename to basis/ForeignConstants.581.sml
diff --git a/basis/ForeignMemory.580.sml b/basis/ForeignMemory.581.sml
similarity index 100%
rename from basis/ForeignMemory.580.sml
rename to basis/ForeignMemory.581.sml
diff --git a/basis/InitialBasis.580.ML b/basis/InitialBasis.581.ML
similarity index 100%
rename from basis/InitialBasis.580.ML
rename to basis/InitialBasis.581.ML