diff options
| author | Gaëtan Gilbert | 2020-08-25 10:59:54 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-08-25 15:01:27 +0200 |
| commit | 2db5e308d06c4d5df9fb684cc214345a73f170e5 (patch) | |
| tree | 53e7860ecb9a302e0aa7a78237edfc0e5f9fa870 /kernel/nativelambda.mli | |
| parent | 83da5d4f27eb1ebc3eeb89343433fb77b6fccacf (diff) | |
ring: generate fresh names for lemmas
Fix #12889
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions