diff options
| author | Maxime Dénès | 2015-02-27 14:01:41 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2015-02-27 14:01:41 +0100 |
| commit | dbdf0648f4588d812a20ea4ba7d3e866f024073c (patch) | |
| tree | 8bcb445586154a99b70b17fd9ca4b87e3cd0252b /kernel/inductive.ml | |
| parent | 7012d65f71752a89cded69d6c2e7045f3a7cadde (diff) | |
Add test-suite file for #3649.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions