diff options
| author | Pierre-Marie Pédrot | 2020-08-26 15:30:44 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-08-26 15:30:44 +0200 |
| commit | 4e6b029805a74ea16166da2c5f59f9669fd34eb8 (patch) | |
| tree | 55b5208684e92aeffd6bd5be5766852943166c18 /kernel/constr.ml | |
| parent | 69ed442e34cd94354bec931b4ac4fc5cdff31068 (diff) | |
| parent | 5d0c54e370ac20e9fbf249c3a7f1851a65e42acf (diff) | |
Merge PR #12764: A fix and two enhancements of trailing pattern factorization in recursive notations
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/constr.ml')
0 files changed, 0 insertions, 0 deletions