diff options
| author | herbelin | 2000-03-07 17:07:13 +0000 |
|---|---|---|
| committer | herbelin | 2000-03-07 17:07:13 +0000 |
| commit | 5d75d8d333190048cb730e40c08bd4c454fab4d9 (patch) | |
| tree | 13518a77df3444d7364f393c2a6d882771af575d /kernel/type_errors.mli | |
| parent | de9c86f0ffaf2a290deddb19143f2a326c6771bf (diff) | |
Export inh_conv_coerce_to et divers
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@298 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions