diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-04 00:39:49 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-04 01:13:33 +0200 |
| commit | cd10b70637dea3cbba5785d163bc567a32a031a8 (patch) | |
| tree | 046d26c33c0b9a0a58bdf6d0d56c5e5dcaf919cd /pretyping/indrec.ml | |
| parent | 593dfd66a5016ba457b6dccf1179a0e1ec7bff84 (diff) | |
Add test suite files for closed bugs.
Diffstat (limited to 'pretyping/indrec.ml')
0 files changed, 0 insertions, 0 deletions