aboutsummaryrefslogtreecommitdiff
path: root/Bedrock
Commit message (Expand)AuthorAge
* Add wneg_injGravatar Jason Gross2017-10-31
* Fix ZToWord, add wring_eq_ext, speed up some proofsGravatar Jason Gross2017-10-31
* Add Bedrock.Word.ZToWordGravatar Jason Gross2017-10-31
* Don't rely on autogenerated namesGravatar Jason Gross2017-06-05
* Revert "Fix a missing qualification"Gravatar Jason Gross2017-01-21
* Move weqb_hetero to Bedrock.WordGravatar Jason Gross2017-01-21
* Revert "Add Bedrock.Word.{wordToZ,ZToWord}"Gravatar Jason Gross2017-01-03
* Add Bedrock.Word.{wordToZ,ZToWord}Gravatar Jason Gross2017-01-03
* Significantly faster wordToN, I hopeGravatar Jason Gross2016-10-31
* Silence a deprecation warningGravatar Jason Gross2016-07-20
* parenthesize Ltac [constr:] argumentsGravatar Andres Erbsen2016-06-20
* Set Asymmetric PatternsGravatar Jason Gross2016-06-10
* Add coqprime that works with 8.5, bundle bedrockGravatar Jason Gross2016-06-10