Ah, didn't read, just looked. Again, with respect to your original question, that's a no-brainer – he scanned and printed copies of the disks as several have alluded to here. It's not like he downloaded them from some site, particularly not an entire set of Lisa disks. Although, that would not be a bad idea. Unfortunately, like the Mac service repair manuals, Apple would likely send out a cease and desist letter as soon as they caught wind of it. But the Lisa seller is well within his rights to duplicate his original disks, right down to the labels to preserve the software as the disks wear and age.
Also, I'm not entirely sure those are HD indentation punch-outs. My original 128K 400K Mac System disks have these exact same indentations and that was before even double-sided drives existed.