I was just asking since HOL has them tagged as CD32 and CDTV, for what you're saying that would be more like an AmigaCD game than anything else. I've seen the video of the system on the above link and yeah it's just like you said. I was just wondering since the CDs have CD32 written.
Do have any idea in what year these games were released btw? Can't find any info on that.