cosmetic changes to Stable.agda

modified:   Stable.agda