http://hol.abime.net/4730 is this it? (published by MicroIllusions)
- Discovery - Math (1986)(Microillusions).zip
- Discovery Trivia & Spelling & Math & Science (1991)(MicroIllusions)[h ACS].zip
in The Zone!
I suppose the latter is some sort of compilation. Hope those are what you're looking for and work.
Edit: By the way, I notice the TOSEC date is 2 years before the HOL date. Maybe somebody should check that.
