diff options
| author | herbelin | 2003-10-21 12:23:34 +0000 |
|---|---|---|
| committer | herbelin | 2003-10-21 12:23:34 +0000 |
| commit | baacd9ba5f71a4fc0ce95e226d6a10b689736c82 (patch) | |
| tree | ddd70cee3d4a919e2b78eb95d51ea12a16ad2ccd /kernel | |
| parent | 467e6faa8ead498c23b222c91890679902f16daf (diff) | |
Type relation dans Datatypes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4691 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions