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