diff options
| author | barras | 2006-11-10 16:55:07 +0000 |
|---|---|---|
| committer | barras | 2006-11-10 16:55:07 +0000 |
| commit | eebd0af54fdd33c012f473150a5d3b0709299d7a (patch) | |
| tree | 72680d742215025c254740485ae33bfab96b8bdc /doc/stdlib | |
| parent | ffa5a8d728ef0dcf32e878e27b40976ae51d0657 (diff) | |
generalisation de ring pour faire Ring_nf
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9361 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions