coq-mathcomp/mathcomp/odd_order/INSTALL, branch master Library of mathematical components formalized in Coq move odd_order to its own repository 2018-04-17T14:57:13+00:00 Enrico Tassi 2018-04-17T14:57:13+00:00 eaa90cf9520e43d0b05fc6431a479e6b9559ef0e 






fix INSTALL symlinks
2015-11-10T10:38:27+00:00

Enrico Tassi

2015-11-10T10:38:08+00:00

da9bec4f8cdbd568872dcb8f9a427c36bff1a6f4












packaging odd_order
2015-04-09T13:47:46+00:00

Cyril Cohen

2015-04-09T11:54:58+00:00

c8b1f9899665886b7bd0c7a25237d8e99afcced7