diff options
| author | herbelin | 2004-05-28 14:36:51 +0000 |
|---|---|---|
| committer | herbelin | 2004-05-28 14:36:51 +0000 |
| commit | 5b461bf82826dec5aee1ab51af87dfe684b41f88 (patch) | |
| tree | ebd66dbf4345e155ebb91b48493ff9a0ae07d32e /kernel/type_errors.mli | |
| parent | 2e5f138018dc3e57686b06f5715ef065e6ca2879 (diff) | |
Retour sur amendement de l'interprétation mult sur nat (bug 743) car incompatible avec la sémantique précédente qui identifiait "Z_of_nat x * Z_of_nat y" avec "Z_of_nat (x * y)"
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5774 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions