diff options
| author | Hugo Herbelin | 2014-09-10 11:20:05 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-09-10 12:31:22 +0200 |
| commit | 2bb166e09d829c3d70b99d1cb9c74511e47f517e (patch) | |
| tree | ac19b1f89288cd087d4147f0220d2dc761c81476 /kernel/inductive.ml | |
| parent | 5350d21315f6c6347c0b44e510ed8b8805cc2119 (diff) | |
More small bugs in intros_replacing.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions