They did have access to olive oil at the time, though they referred to it as sweet oil usually. This could, though, also refer to just about any vegetable oil from the period. Unfortunately, we don't have a lot of good descriptions of what they used for a sharpening oil, as that was generally considered a trade secret. Thanks for the tip to ask Sebastian though, I'll do just that!