diff options
| author |  notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-05-11 09:24:00 +0000 |
|---|---|---|
| committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-05-11 09:24:00 +0000 |
| commit | 0fb3feddf3e70b4b492129eec68837a5c84bf50c (patch) | |
| tree | 44f095c4a68a918487433ee365715bea91e83a93 /theories/Setoids | |
| parent | 99860bb8fc9d2cf7b750bb6c8acdfa8c43431a3e (diff) | |
r9089@thot: notin | 2006-05-10 14:40:51 +0200
Réorganisation List.v
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8803 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Setoids')
0 files changed, 0 insertions, 0 deletions