diff options
| author | Hugo Herbelin | 2020-10-15 18:03:31 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-10-15 18:33:22 +0200 |
| commit | 61e13c3ad883293c7138c69258e1a61716eabfa9 (patch) | |
| tree | 5c8451c3fcdee1236fb4ea51d641eae7479d4204 /kernel/nativelambda.mli | |
| parent | 476520ab32d3e975f6cee8aabcd04ad5fdfbbd77 (diff) | |
Consistent indentation + a few bullets in RIneq.v.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions