diff options
| author | herbelin | 2003-06-18 00:28:39 +0000 |
|---|---|---|
| committer | herbelin | 2003-06-18 00:28:39 +0000 |
| commit | 1000a01cfdca074b9e0677e0441051422cce385f (patch) | |
| tree | cdb6a0e8a690a703171dcb8b4b31571dab33b425 /kernel | |
| parent | e927e0e71daa736a99518d487e85e7e54ad8edf2 (diff) | |
Arguments superflus pour Zlength_nil
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4176 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions