diff options
| author | letouzey | 2006-05-30 13:43:15 +0000 |
|---|---|---|
| committer | letouzey | 2006-05-30 13:43:15 +0000 |
| commit | 493367ccdfe146d4f898bb49f1ff43ead382dbf9 (patch) | |
| tree | 666293128093cd5b39a64851caf1cd6852319ac6 /kernel | |
| parent | af354d63a814b0855eefda81852029d72b3544db (diff) | |
* suite de la revision des wrappers Make
* quelques unfold E.eq en cas de changement de la semantique des foncteurs
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8876 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions