diff options
| author | Emilio Jesus Gallego Arias | 2018-03-11 00:22:14 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-03-11 00:22:14 +0100 |
| commit | 9ede60d083899a4446d0be8519cad3d1c244fb27 (patch) | |
| tree | c20e6a42efd884a061fa2a814c5c4542a3124562 /kernel/type_errors.mli | |
| parent | 33c5d8d00cb017c61141ee0d6b7cb8f672a3e691 (diff) | |
[META] Update Coq version number.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions