diff options
| author | herbelin | 2008-03-01 16:26:18 +0000 |
|---|---|---|
| committer | herbelin | 2008-03-01 16:26:18 +0000 |
| commit | 6671de91bd93189bbfa330fffaba8890177661fe (patch) | |
| tree | acf08a49e84f19b0e6221349593b45fc4f426d47 /theories/Numbers/Integer/TreeMod/ZTreeMod.v | |
| parent | 0d62e3344d7f69c0296c347c7aeddabd09bbab60 (diff) | |
Marche-arrière sur la suppression de l'hypothèse inutile de Rpower_O
(rapport de bug 1807). Cf explication dans le fichier et/ou dans le
bug-tracker.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10613 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Numbers/Integer/TreeMod/ZTreeMod.v')
0 files changed, 0 insertions, 0 deletions