diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-10-14 11:37:14 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-10-14 11:37:14 +0000 |
| commit | 865a9a517ce09d1336c2a1e117c25452089a4aa7 (patch) | |
| tree | 9052b93eaef196ed615b45bd02ca2893e912e4ad /theories/NArith/Ndiv_def.v | |
| parent | cfd3a79969575c8d125c9e621eb2bd8e2875c977 (diff) | |
Ring : Cpow in Type rather than Set (type of power coeffs in power_theory)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13542 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/NArith/Ndiv_def.v')
0 files changed, 0 insertions, 0 deletions