coq-mathcomp/mathcomp/ssrtest/Make, branch master Library of mathematical components formalized in Coq remove ssrtest: it now belongs to Coq 2018-04-12T07:54:36+00:00 Enrico Tassi 2018-04-12T07:54:36+00:00 d54b8dff818f0b1218df14cfb2b813da93154fa9 






new test for "rewrite /x" when x is Opaque
2016-12-07T11:45:54+00:00

Enrico Tassi

2016-12-07T11:37:13+00:00

b8ff373631bc7b4a6aca4dcb51b1080d210d99fe












add test for unfolding primitive projections
2016-12-06T15:31:01+00:00

Enrico Tassi

2016-12-06T14:48:31+00:00

30c25338db99c34c43587a004afc65094ddf32bc












this test is now in Coq, removing it.
2016-06-17T14:35:32+00:00

Enrico Tassi

2016-06-17T14:35:32+00:00

e33a23bbaefea57b486f7ea136ef4d058dbb34e1












ssrpattern: compose nicely with Tactic Notation
2016-02-25T14:20:35+00:00

Enrico Tassi

2016-02-25T14:20:35+00:00

fb9ccea7f34b7fcd01a5f0f97b5c52b188154f5b












Updating files + reorganizing everything
2015-07-17T16:03:31+00:00

Cyril Cohen

2015-07-17T16:03:31+00:00

532de9b68384a114c6534a0736ed024c900447f9












Initial commit
2015-03-09T10:24:38+00:00

Enrico Tassi

2015-03-09T10:07:53+00:00

fc84c27eac260dffd8f2fb1cb56d599f1e3486d9