diff options
| author | letouzey | 2010-01-05 15:24:43 +0000 |
|---|---|---|
| committer | letouzey | 2010-01-05 15:24:43 +0000 |
| commit | ae3c06fdcbed65174b0a1ca88886a8c25bf45312 (patch) | |
| tree | de7eedb8587e51fb36bb491b978965c91749a7a2 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | 41138b8f14d17f3c409d592c18e5a4def664a2e8 (diff) | |
Zdiv seen as a quasi-instantation of generic ZDivFloor from theories/Numbers
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12627 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions