Evar-related speed-up and clarifications in Class_tactics and Rewrite

 Some functions are restricted to consider only undefined evars,
 and some Evd.fold are replaced by Evd.fold_undefined. I'm less
 sure about the modifications in rewrite.ml4, but in pratice
 they seem to work well on the stdlib. I was planning to
 say assert false for Not_found in Rewrite.evd_of_existentials
 but some file of the stdlib doesn't like that (to be checked).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13717 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions