diff options
| author |  barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-16 14:17:53 +0000 |
|---|---|---|
| committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-16 14:17:53 +0000 |
| commit | 0dd691120e9480fdd9550462508b60609edc8427 (patch) | |
| tree | 1145ddea79ee675e05af217408959d0297ac9301 /theories/Structures | |
| parent | 7bc1e9c50f2e29cca54334a88df847f6f7d4e9c3 (diff) | |
fixed bug #2316 (ring_simplify)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13284 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Structures')
0 files changed, 0 insertions, 0 deletions