diff options
| author | notin | 2008-03-05 19:22:22 +0000 |
|---|---|---|
| committer | notin | 2008-03-05 19:22:22 +0000 |
| commit | 49623ae29421c2ccd16f82d71b65cfacd0877fec (patch) | |
| tree | 5d9135d01882033f9df993e088fb287895b7954c /theories/Numbers/Integer/TreeMod | |
| parent | 737faa34acc0858b7c8f766a20b1d0bcedbf36c7 (diff) | |
Backtrack sur la révision #10401 : suppression de le_minus de la base de hints arith
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10621 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Numbers/Integer/TreeMod')
0 files changed, 0 insertions, 0 deletions