> I don't see anyone very excited about r-tree these days; have you
> noticed that no one has stepped up to repair the known semantic errors?
> I wouldn't spend any time on it in the prover.
That sort of thing is always self-fulfilling. If rtrees were fast,
logged and rad, then more people would use them :)
Chris