Read-only release history for Number-Natural-SetTheory