diff options
| author | Pierre-Marie Pédrot | 2019-06-13 11:06:36 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-06-17 15:21:19 +0200 |
| commit | 621201858125632496fd11f431529187d69cfdc6 (patch) | |
| tree | bba0436219647a07d94d123abe2b51186bea0bca /kernel/term_typing.ml | |
| parent | 4d63d20796ecffa1b04668f493bbef029e12f63d (diff) | |
Adding overlays.
Diffstat (limited to 'kernel/term_typing.ml')
0 files changed, 0 insertions, 0 deletions