 I'm not suggesting there wasn't gender discrimination in those days. There was. But that isn't what was at work here. It was a grammatical convention that the plural men encompassed both genders. This is still true in many languages other than American English.