diff options
| author | Enrico Tassi | 2019-02-21 17:47:25 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-02-25 11:33:15 +0100 |
| commit | abdb6692d8be2250685e4d78cdd84711f4d493d6 (patch) | |
| tree | 929f7459ee8c40e0773355163a54b73397a6216a /kernel/inductive.ml | |
| parent | f3cb208d3172d0726e18f45a03d0a18dee2b4743 (diff) | |
add test case for "match"
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions