math-classes/math-classes — pull request #3 by clarus (2014-09-25 16:57:09+00:00)
Title: Preparation for Opam

* Coq Makefile added
* src/ is now the root directory (other directories removed)