diff options
| author | herbelin | 2001-11-21 12:03:31 +0000 |
|---|---|---|
| committer | herbelin | 2001-11-21 12:03:31 +0000 |
| commit | 86041b8b5d6bc93d545554d1fdded70bf59eb880 (patch) | |
| tree | f96dcdf8af07f43082c43dbabeaeeccc6517b793 /kernel | |
| parent | ba96dbe08616830b9484a36e5b78044283eb49bb (diff) | |
Solution partielle au problème des alias dépendants pour les rendre compatibles avec l'utilisation de la contrainte de type comme guide de la synthèse du prédicat
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2229 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions