diff options
| author | herbelin | 2012-11-15 05:56:22 +0000 |
|---|---|---|
| committer | herbelin | 2012-11-15 05:56:22 +0000 |
| commit | 8a225b67b616c89380caafad5f1cc1f6434ac9e1 (patch) | |
| tree | 1cf294572f02d1c1f002da6912a1a6bcbc865eea /dev/include | |
| parent | 86c8f958a739f16dc24d684cd396ab75a072ebee (diff) | |
A decidability property of functional relations over decidable codomains.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15972 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions