sbv-2.10: README.md

SBV: SMT Based Verification in Haskell
======================================

Please see: http://leventerkok.github.com/sbv/