diff options
| author | emakarov | 2007-10-18 18:29:08 +0000 |
|---|---|---|
| committer | emakarov | 2007-10-18 18:29:08 +0000 |
| commit | fec743673b79a42f679d087fb0b8e845d06ff3aa (patch) | |
| tree | 9133acaed3169a6a1a91f77031ecc9fa690c9b5c /theories/Numbers/Integer/TreeMod/ZTreeMod.v | |
| parent | 52ca1a2a172d73ba0db1f37b2cf6ca9c8ceaf199 (diff) | |
Changed RingMicromega to use NRing instead of Ring_polynom. NRing is a version of Ring_polynom written by Frederic Besson that uses binary trees instead of lists for environments.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10240 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Numbers/Integer/TreeMod/ZTreeMod.v')
0 files changed, 0 insertions, 0 deletions