diff options
| author | Hugo Herbelin | 2020-09-09 13:45:04 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-09-09 13:45:04 +0200 |
| commit | 3d22134121ddeeb2052266d5f2cbcc097a5f0388 (patch) | |
| tree | 18dabcd54b2f45b83b9963be5174d940490ed514 /kernel/byterun | |
| parent | 6f12c3e3ccce7028abb492f804d30ba0bef58f06 (diff) | |
| parent | f2ba2ad48dfa72f293702f4f86565b12f0302d4b (diff) | |
Merge PR #12094: Extend app_inj_tail and other list lemmas
Reviewed-by: anton-trunov
Ack-by: herbelin
Diffstat (limited to 'kernel/byterun')
0 files changed, 0 insertions, 0 deletions