Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add some more lemmas about generated stuff | Jason Gross | 2018-10-02 |
* | Add more gen ident proofs | Jason Gross | 2018-10-01 |
* | Support type variables in patterns in the rewriter | Jason Gross | 2018-09-29 |
* | Fix typo in previous commit | Jason Gross | 2018-08-03 |
* | Add eq_ident_Decidable | Jason Gross | 2018-08-03 |
* | Adjust GENERATEDIdentifiersWithoutTypesProofs.v, add eta_ident_cps_correct | Jason Gross | 2018-08-02 |
* | Add GENERATEDIdentifiersWithoutTypesProofs.v | Jason Gross | 2018-08-02 |