diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-05-24 13:09:57 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-05-24 13:09:57 +0200 |
| commit | affdcf6d3b66fd446dda09a9e1652e7558b61eaa (patch) | |
| tree | bc5c2e313a8462c29975be24296c2a35ac68a180 /dev/header.ml | |
| parent | 4ce199bf63f8e9d209757ddcc25a63fa565f1546 (diff) | |
| parent | 5af5bff88fa49731acbf24d8a67148e4215446bd (diff) | |
Merge PR #7328: Fix #7327: coqchk subtyping of polymorphic constants
Diffstat (limited to 'dev/header.ml')
0 files changed, 0 insertions, 0 deletions