Current changes
Some files related to teching the course at Oxford
Merge pull request #12 from UniMath/master

Updating my fork from the main repository
Update
Updates
Removed unneeded files
Revert submodule changes
Merge pull request #50 from vladimirias/master

Merge changes to the main repository
made some more files compile