diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-05-18 19:50:02 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-05-18 19:50:02 +0000 |
| commit | 54ac5f1369e82b9c72b7f6a2ed0a9cf3dc02ddcf (patch) | |
| tree | 8a9dc399f2f662b2852719c76eeffaa470d65168 /pretyping/pretype_errors.mli | |
| parent | c32efcb1b44108f321a1cd2e7d42cd8cabe3170c (diff) | |
Interprétation des listes de VarArgType dans les notations faisant
référence à des arguments génériques
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9839 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/pretype_errors.mli')
0 files changed, 0 insertions, 0 deletions