Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add wneg_inj | 2017-10-31 | |
* | Fix ZToWord, add wring_eq_ext, speed up some proofs | 2017-10-31 | |
* | Add Bedrock.Word.ZToWord | 2017-10-31 | |
* | Don't rely on autogenerated names | 2017-06-05 | |
* | Revert "Fix a missing qualification" | 2017-01-21 | |
* | Move weqb_hetero to Bedrock.Word | 2017-01-21 | |
* | Revert "Add Bedrock.Word.{wordToZ,ZToWord}" | 2017-01-03 | |
* | Add Bedrock.Word.{wordToZ,ZToWord} | 2017-01-03 | |
* | Significantly faster wordToN, I hope | 2016-10-31 | |
* | Silence a deprecation warning | 2016-07-20 | |
* | parenthesize Ltac [constr:] arguments | 2016-06-20 | |
* | Set Asymmetric Patterns | 2016-06-10 | |
* | Add coqprime that works with 8.5, bundle bedrock | 2016-06-10 |