diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-04-16 07:45:31 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-04-16 07:45:31 +0000 |
| commit | b76c8dd6c09463c2772d7c7bece901730285735a (patch) | |
| tree | 84808ce1ab4274f79e3691f7953a1bfbc5a7c871 /Makefile.dep | |
| parent | d6168dc0ce49d146635183d70c9ccb40e77784de (diff) | |
Suite unification apply et eapply (l'un et l'autre profite maintenant
de la réduction paresseuse du lemme [eapply n'en profitait pas], et
l'un et l'autre profite de l'unification2nd ordre sur la forme réduite
du lemme [apply n'en profitait pas]).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9771 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.dep')
0 files changed, 0 insertions, 0 deletions