Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add instances to decide equality of sigma types | Jason Gross | 2016-07-29 |
* | Add decidable instances for sumwise and fieldwise | Jason Gross | 2016-06-27 |
* | Use Decidable machinery for is_eq_dec | Jason Gross | 2016-06-24 |
* | Fix for broken abstract | Jason Gross | 2016-06-22 |
* | Add decidability util file | Jason Gross | 2016-06-22 |