One less admit in the insert_preserves_sort proof.
Updated the proof for insert_preserves_sort.
Finished proof for insert_preserves_sort.
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees