The postcondition of Reverse_Array was incorrectly expressed.
Merge pull request #1 from pchapin/master

The postcondition of Reverse_Array was incorrectly expressed.