Test
To complete a merge
Merge pull request #1 from UniMath/master

Update
Merge pull request #2 from UniMath/master

capitalize Coq
Merge pull request #4 from UniMath/master

Update
Merge pull request #5 from UniMath/master

Update
New work from old Bsystems directory added
Merge pull request #20 from vladimirias/master

Updated bsystems.v