c-corn/corn — pull request #5 by clarus (2014-09-25 16:56:02+00:00)
Title: Preparation for Opam

* Coq Makefile build system added
* Git module removed for Math-Classes