diff options
| author | pottier | 2010-07-08 13:15:07 +0000 |
|---|---|---|
| committer | pottier | 2010-07-08 13:15:07 +0000 |
| commit | d9c825b5b5925be962d8d8d38a8534997f30a97b (patch) | |
| tree | c620a67749fbaf5c1857b4b265b7d4a67deb79fc /kernel/cbytecodes.ml | |
| parent | 74bb3f23674caff6902665fde0c4608e28ff0877 (diff) | |
nsatz in an integral domain with specialization to Z and R
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13265 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions