aboutsummaryrefslogtreecommitdiff
path: root/src/Util/Prod.v
Commit message (Expand)AuthorAge
* Add subst_prod tactic to Prod.vGravatar Jason Gross2017-05-19
* Merge new base system (#112)Gravatar jadephilipoom2017-02-22
* Rename iffT, add some lemmas about tuple and hlistGravatar Jason Gross2016-11-08
* Add IffT, some Proper prod lemmasGravatar Jason Gross2016-11-07
* Add Proper prod instanceGravatar Jason Gross2016-11-07
* Add eta_expand to Prod.vGravatar Jason Gross2016-10-07
* Make [inversion_{prod,sigma}] strongerGravatar Jason Gross2016-09-05
* Add path_prod_etaGravatar Jason Gross2016-09-03
* Add prod_beqGravatar Jason Gross2016-09-02
* Rename congrunce_option to inversion_option, add [inversion_prod]Gravatar Jason Gross2016-08-31