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 /README.win | |
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 'README.win')
0 files changed, 0 insertions, 0 deletions