diff options
| author | barras | 2003-01-23 17:30:03 +0000 |
|---|---|---|
| committer | barras | 2003-01-23 17:30:03 +0000 |
| commit | fe0bf68ccfe9ab635012b8e396011d20e8c25612 (patch) | |
| tree | 7f96682cda2b159ad26a198b72cdd5dd4b1f5c10 /kernel/type_errors.mli | |
| parent | 68259c3088f9ad830a9dab4ae495000ab2646ffc (diff) | |
reparation des contribs: lors de l'unification, reduire les beta redexes
avant d'expanser les constantes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3604 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions