diff options
| author | Amin Timany | 2017-07-07 14:26:05 +0200 |
|---|---|---|
| committer | Amin Timany | 2017-07-31 18:05:54 +0200 |
| commit | 7f78827b3f8583a7c0e79a78266bc01a411ed818 (patch) | |
| tree | fe63107376abd5d18328a433e18356d752e17e1e /API/API.ml | |
| parent | fbe0b2645eab84012aec50e76d94e15a3fefe664 (diff) | |
Add test for NonCumulative inductives
Diffstat (limited to 'API/API.ml')
0 files changed, 0 insertions, 0 deletions