Rubby,
Probably vinylester, almost certainly not epoxy. Still, I'd use epoxy for any actual repairs needed as it usually adheres better to other resin systems. Not everyone may agree. I don't know for sure which it used, just a gut feeling. Someone else may know for sure.