diff options
| author | herbelin | 2004-12-06 15:18:50 +0000 |
|---|---|---|
| committer | herbelin | 2004-12-06 15:18:50 +0000 |
| commit | 2f783e7beaabe671e306925fdf4e1f3aac06e659 (patch) | |
| tree | 428f3144e55f84c172be55c0ff1926eb09b2a38f /kernel | |
| parent | e0099553db47314521153393b1db2cb0bdc7fbe0 (diff) | |
Déplacement de la coercion vis à vis du but au niveau de Refine
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6422 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions