diff options
| author | Matej Kosik | 2015-12-21 13:32:57 +0100 |
|---|---|---|
| committer | Matej Kosik | 2016-01-11 10:00:45 +0100 |
| commit | f8eb2ed4ddbe2199187696f51c42734014f4d9d0 (patch) | |
| tree | 01fcd6c92e5f1227b756bb624a8377b8d045ac1f /kernel/term.ml | |
| parent | 8a4a8758075e09da298762da1a035a5afac4d88b (diff) | |
COMMENTS: of "Constr.case_info" type were updated.
Diffstat (limited to 'kernel/term.ml')
0 files changed, 0 insertions, 0 deletions