diff options
| author | Matthieu Sozeau | 2014-09-10 12:54:08 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-10 13:01:24 +0200 |
| commit | c2fa953889cf7bcef9c369d175e156855ac0be2e (patch) | |
| tree | 2da6e6cd717d783d35082746d959bbb5b9edc152 /kernel/inductive.ml | |
| parent | dcac2e58843c53137e740fc1bf324ddc16932223 (diff) | |
Fix categorization of recursive inductives.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions