diff options
| author |  sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-05-24 17:26:10 +0000 |
|---|---|---|
| committer | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-05-24 17:26:10 +0000 |
| commit | 62f96f507f5d0c6755e94b36773e55b6995ac055 (patch) | |
| tree | 4b02d1b3880dde2b92deabf0012f7a1156bd9dc2 /.depend | |
| parent | 97df85cd29bf574eccdfcb743ea4cc4828439c57 (diff) | |
Added clenv_environments_evars that behaves as clen_environments but
generating evars in place of metas. Notice that thanks to this changement
unification can be more effective (expecially after reduction) since evars
have non-empty contexts whereas metas have not.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7069 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend')
0 files changed, 0 insertions, 0 deletions