diff options
| author |  Jason Gross <jagro@google.com> | 2018-08-02 18:24:36 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-08-02 18:24:36 -0400 |
| commit | c3199e59f7c8d8e73e653808b50f77dc8e905b0a (patch) | |
| tree | ff89b0f99958c2c46b5e2c8532efdcdac57d5c4b /src/LegacyArithmetic | |
| parent | a8c07fa7605eefa2de39000d4c6fce17fb40be43 (diff) | |
Adjust GENERATEDIdentifiersWithoutTypesProofs.v, add eta_ident_cps_correct
Diffstat (limited to 'src/LegacyArithmetic')
0 files changed, 0 insertions, 0 deletions