diff options
| author | barras | 2002-03-05 10:09:10 +0000 |
|---|---|---|
| committer | barras | 2002-03-05 10:09:10 +0000 |
| commit | 21cd39996cabdf280f4cc99557c54f6c7c73bbc8 (patch) | |
| tree | be8d5b416b16098afb414195bc14123e62d1ffe6 /theories/IntMap/Adalloc.v | |
| parent | 337bc5b7c8711683c493f314e25722df49f385c8 (diff) | |
unification faite de gauche a droite (et non pas l'inverse) pour eviter que
clenv_typed_unify plante trop facilement
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2511 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/IntMap/Adalloc.v')
0 files changed, 0 insertions, 0 deletions