Merge pull request #20 from vladimirias/master

Updated bsystems.v
Merge pull request #6 from UniMath/master

Merge pull request #20 from vladimirias/master