diff options
| author | herbelin | 2001-01-15 12:43:10 +0000 |
|---|---|---|
| committer | herbelin | 2001-01-15 12:43:10 +0000 |
| commit | c8e5299add068b19df1e07bb4f996115d114ba38 (patch) | |
| tree | 277deafcd0c896cc0248dbd8dbc08d21d3c0efdb /PROBLEMES | |
| parent | 0e65684cf660f481b9fdf507c8c2b9b958c49596 (diff) | |
Raffinements
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1251 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'PROBLEMES')
0 files changed, 0 insertions, 0 deletions