diff options
| author | mohring | 2002-09-25 10:41:34 +0000 |
|---|---|---|
| committer | mohring | 2002-09-25 10:41:34 +0000 |
| commit | 62712cda8380f03c6d60c5987f9ff08b866127a8 (patch) | |
| tree | b378ec39d244520b2c1b2ba932250c6e65168a1e /dev | |
| parent | 146fb70f0729285fb4bb59613c73da0bad92d6c6 (diff) | |
Affaiblissement de l'ordre sur Z on demande x < y et seulement
que y (et pas x) soit plus garnd que c
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3032 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions