diff options
| author | herbelin | 2003-05-21 13:13:06 +0000 |
|---|---|---|
| committer | herbelin | 2003-05-21 13:13:06 +0000 |
| commit | 6b68976978fc8b4e9589a35858bd5592347be635 (patch) | |
| tree | 63451122a67cd8db0016efb02f0a2330828c49c7 /kernel | |
| parent | 1e160525650bb03c286d78f061f73dcd865b0937 (diff) | |
Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour les metavariables de patterns; réparation local défs récursive dans ltac
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4045 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions