diff options
| author | letouzey | 2010-10-14 11:37:26 +0000 |
|---|---|---|
| committer | letouzey | 2010-10-14 11:37:26 +0000 |
| commit | d7a3d9b4fbfdd0df8ab4d0475fc7afa1ed5f5bcb (patch) | |
| tree | 5fff2c4b2c2afa143564f5dd73f7ff6f7c94e417 /plugins/syntax/numbers_syntax.ml | |
| 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 'plugins/syntax/numbers_syntax.ml')
0 files changed, 0 insertions, 0 deletions