diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-10-14 11:37:26 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-10-14 11:37:26 +0000 |
| commit | d7a3d9b4fbfdd0df8ab4d0475fc7afa1ed5f5bcb (patch) | |
| tree | 5fff2c4b2c2afa143564f5dd73f7ff6f7c94e417 /theories/Numbers/Rational/BigQ/QMake.v | |
| parent | b5956a6cfce68a70e97620d72c927d190dd49742 (diff) | |
Zeven: some complements, e.g. proofs that Zeven_bool and co are ok
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13545 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Numbers/Rational/BigQ/QMake.v')
0 files changed, 0 insertions, 0 deletions