Major revision of FSetAVL: more Function, including some non-structural ones

 NB: this change adds about 10s of compile-time to a file that is
  already taking about 30s on my machine. If somebody strongly objects
  to this, contact me. I really think that the gain in uniformity,
  clarity, and computability (in Coq) worth the extra compile-time: 
  no more function-by-tactic, everything (vm_)computes, and quite
  efficiently.



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

0 files changed, 0 insertions, 0 deletions