diff options
| author | herbelin | 2003-10-20 10:36:32 +0000 |
|---|---|---|
| committer | herbelin | 2003-10-20 10:36:32 +0000 |
| commit | 94b5cb2a8a10a7e97e8f63ca85d436e983b959a7 (patch) | |
| tree | 9b3080f930c0a5c3f2d12b3a42e97c47974c4d3d /kernel | |
| parent | f57b6a25082f024bb4c743608c25b7037bf07b8d (diff) | |
R passe dans Set !
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4677 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions