Ignore *~ (emacs backup files)
Prove two-sorted list length lemma.
Create README.md
Merge pull request #1 from mn200/master

Prove the two-sorts of elements list length lemma