diff options
| author | sacerdot | 2004-10-01 17:55:23 +0000 |
|---|---|---|
| committer | sacerdot | 2004-10-01 17:55:23 +0000 |
| commit | 22202f2f9d14b23a01860e04c60000c8bf89452a (patch) | |
| tree | 6c2b30ee85fc3195baba876b30a363a0e8df7029 /dev | |
| parent | 7eeff0ca9ea82584b9e3bbd566f77929e8ac4440 (diff) | |
eq_constr replaced with a conversion test where possible.
This is particular useful in case of modules (when it often happens to
have two setoids that can be composed only up to convertibility of their
input/output types).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6172 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions