diff options
| author | Matthieu Sozeau | 2014-06-18 17:47:05 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-19 12:44:52 +0200 |
| commit | 83c17d79c3388ebd488559dcf99d5d019e60bb1c (patch) | |
| tree | 05019158cce1d1e362b54862ab27de356686b7b2 /kernel/type_errors.ml | |
| parent | 9f9b2c9ae114a6d707af7b9e04098f4fc83fd97e (diff) | |
HoTT coq bug #62 fixed.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions