diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-28 19:43:58 +0100 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-28 19:50:30 +0100 |
commit | 15aeb84a0deb444af81f4035dbcf791566bafe5f (patch) | |
tree | ba7fb0a866f759577ff6b1437cb62b6b24c40985 /kernel/subtyping.ml | |
parent | 90fef3ffd236f2ed5575b0d11a47185185abc75b (diff) |
Closed bugs.
Diffstat (limited to 'kernel/subtyping.ml')
0 files changed, 0 insertions, 0 deletions