Packaging of an experimental finitely presented modules package.
update fpmods.0.1
CoqEAL packages
updating fpmods info
Merge pull request #8 from Barbichu/master

CoqEAL and fpmods packages for Coq.