Back in the day, 7mm was the first step up in size for performance plug wires; 8mm came later, larger sizes later still.
Can't recall measuring OEM wires back then, but I'd guess they were smaller than 7mm, and likely an SAE dimension. They seem in retrospect to have been pretty small and not as pliable as what we have now.