Merge pull request #14 from vladimirias/master
authormortberg <mortberg@chalmers.se>
Tue, 4 Aug 2015 06:11:20 +0000 (08:11 +0200)
committermortberg <mortberg@chalmers.se>
Tue, 4 Aug 2015 06:11:20 +0000 (08:11 +0200)
The link to Voevodsky's webpage in README updated


Trivial merge