Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |