diff options
| author | herbelin | 2010-07-25 22:17:43 +0000 |
|---|---|---|
| committer | herbelin | 2010-07-25 22:17:43 +0000 |
| commit | 4d51d7e42125ecfec94768cac77e67026574c6f8 (patch) | |
| tree | f0a375c9494f5ddb803c74bb97f6cbe1bd20cfc9 /kernel/type_errors.ml | |
| parent | 9303e4590e52cba8c11fbacd91ff3098d7d1e00a (diff) | |
Documentation of Set Automatic Coercions Import.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13327 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions