diff options
| author | coqbot-app[bot] | 2020-11-16 12:09:04 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-16 12:09:04 +0000 |
| commit | 8a1e9bb57462614028eb1b3905fb1df1cdf3a871 (patch) | |
| tree | e21b0c0097837167f199f6e0209491773f2502ff /plugins | |
| parent | deb4206e287d46d804be6c50a06c4544d8ec43cf (diff) | |
| parent | 603023b3e65fe362d0287f9fc6e986ec9ef16684 (diff) | |
Merge PR #13387: Fixes #12348: de Bruijn indices bug in the imitation part of unification
Reviewed-by: mattam82
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions