diff options
| author | herbelin | 2006-05-24 07:14:05 +0000 |
|---|---|---|
| committer | herbelin | 2006-05-24 07:14:05 +0000 |
| commit | f23e2ee0f4d64959288deea74de52fc1a4c45a22 (patch) | |
| tree | ad872b6def287b3b6bc359a071c6a0faba330ea9 /kernel/type_errors.ml | |
| parent | 259252f2d9477cd721a4a2ad29f9a6fde2bd01ca (diff) | |
Suite changement précédence by de assert
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8860 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions