2017 Hyundai Elantra — lower mileage or better documentation?

I am comparing two older enthusiast cars. One has lower mileage but thin records; the other has more miles and years of invoices. If condition is similar, how much value do you put on documentation? If I figure it out I will update the thread.