diff options
| author | Enrico Tassi | 2019-02-22 14:09:43 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-02-25 11:33:18 +0100 |
| commit | 5ee6581330ac77596d31dddc1bf4fc09e585b1f6 (patch) | |
| tree | 53038b6d6e19f9886afc50a06da8e6572ea477db /kernel/inductive.ml | |
| parent | 8785269bb1b514f11bef7a56baeaef0cf3eaa452 (diff) | |
add testcase for fix
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions