diff options
| author | herbelin | 2002-10-17 10:21:23 +0000 |
|---|---|---|
| committer | herbelin | 2002-10-17 10:21:23 +0000 |
| commit | 27958fd8bf2ed0f2811011f0854d6d0af4ae4834 (patch) | |
| tree | 2c22f4f9d01ae36561e6a967e1f28e01fc758409 /syntax | |
| parent | d75d6f9bc52e3889dddda6fad57297491f5f9705 (diff) | |
Parsing des entiers de nat jusqu'à 29 pour accommoder certaines contribs
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3154 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'syntax')
0 files changed, 0 insertions, 0 deletions