WordTimes is located in:

• m3front/src/builtinWord/WordTimes.m3
• m3front/derived/WordTimes.m3