diff options
| author | emakarov | 2007-09-20 18:24:50 +0000 |
|---|---|---|
| committer | emakarov | 2007-09-20 18:24:50 +0000 |
| commit | d8a2c246510af26104fb16fb8ac7c266341c2f8b (patch) | |
| tree | 09cfed2be0d53047820e8f0a32eab5478229464e /dev/base_include | |
| parent | b42da20a5b89a266b1a3964819d03b5ef7214688 (diff) | |
Changed the definition of Nminus in BinNat.v by removing comparison.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10130 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions