diff options
| author | herbelin | 2003-11-20 18:58:19 +0000 |
|---|---|---|
| committer | herbelin | 2003-11-20 18:58:19 +0000 |
| commit | 550fcc9c729c00bfaf25b0a42c09bb4826104020 (patch) | |
| tree | 5522372ae28347f87eac52305bcc0a4ed18119f1 /make.result | |
| parent | c06b03eabf095982e586eda47e9799417780d59b (diff) | |
Nouvelle solution pour le probleme d'effacement des niveaux vides de operconstr et pattern: plus de niveaux vides
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4956 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'make.result')
0 files changed, 0 insertions, 0 deletions